okay = false;

function var_init()
{
rtype = "highlighting";
imagenames = new Array(
  "BotonInicio", "BotonLupa", "BotonMapa", "BotonSalir"
  );
statustexts = new Array(
	"Volver a Página Principal de ESIDE-Web",
	"Buscar en ESIDE-Web",
	"Mapa del ESIDE-Web",
	"Salir de ESIDE-Web"
	);
suffixes = new Array( 
  "Off2", "Off" 
  );
ext = ".gif";
} 

function roll_init()
{
var_init();
with(navigator) {
  code = appCodeName; 
  app = appName; 
  version = appVersion; 
  iver = parseInt(version); 
  ua = userAgent;
  }
son  = suffixes[0];  
soff = suffixes[1];
uastring = app + " " + iver;
if ( code == "Mozilla" && iver >= 3 )  okay = true;
else okay = false; 
if (rtype == "highlighting") {
  for (var i = 0; i < imagenames.length; i++) {
    var name = imagenames[i];
    var ion  = "r" + name + "on";
    var ioff = "r" + name + "off";
    eval(ion  + " = new Image()");
    eval(ion  + ".src = '/images/" + name + son  + ext + "'");
    eval(ioff + " = new Image()");
    eval(ioff + ".src = '/images/" + name + soff + ext + "'");
    }
  }
}

function over(imgname, cod)
{
if (!okay) return true;
if (rtype == "highlighting")
  eval("document." + imgname + ".src = r" + imgname.substring(0, imgname.length - 1) + "on.src");
window.status=statustexts[cod];
return true;
}

function out(imgname)
{
if (!okay) return true;
if (rtype == "highlighting")
  eval("document." + imgname + ".src = r" + imgname.substring(0, imgname.length - 1) + "off.src");
window.status='';

return true;
}