<!--
var bn=navigator.appName;
var vn=navigator.appVersion;
// Animated menu stuff
function off_img(loc,img) {};
function on_img(loc,img) {};

menuimg = new Array(9);
if ((bn!="Microsoft Internet Explorer") || (vn.substring(0,3)!="2.0"))
{
menuimg[1]= new Image (95,95);
menuimg[1].src="../fotos/botones/btelem1.gif";
menuimg[2]= new Image (95,95);
menuimg[2].src="../fotos/botones/btelem2.gif";
menuimg[3]= new Image (95,95);
menuimg[3].src="../fotos/botones/btelem3.gif";
}

function on_img(loc,img)
  {
  if ((bn!="Microsoft Internet Explorer") || (vn.substring(0,3)!="2.0"))
    loc.src=menuimg[img].src;
  }

// -->