function menuOn (idMenu) {

  document.getElementById ("flecha_"+idMenu).src="../imgs/flecha_azul_menu.gif";
  document.getElementById ("td_"+idMenu).style.background= "#DDDAD5";
}

function menuOff (idMenu) {

  document.getElementById ("flecha_"+idMenu).src="../imgs/flecha_roja_menu.gif";
  document.getElementById ("td_"+idMenu).style.background= "";
}







function popUp (url, w, h, s) {

  window.open (url, "", "left=40, top=40, width="+w+", height="+h+", scrollbars="+s);

}

function abrir (url) {

  document.getElementById ("iFrameContenido").src=url;

}