<!--
//ocultamos el codigo para los navegadores antiguos
//-----------------------------------------------
//Definimos variables globales de la aplicacion:
//-----------------------------------------------
// variables de scroll().
var timerID;//temporizador.
var obj_scroll;//objeto scroll
//funcion que crea el objeto de scroll
function class_scroll(texto,seg) {
  if (texto.length!=0 && seg!=0) { 
     this.text = texto;
     this.longitud = texto.length;
     this.time = parseInt((1000*seg)/texto.length);
  } 
}

//Array de mensajes 
var Msg=new Array();

//Array de objeto imagenes activas
var obj_img=new Array();

//funcion que carga el array de mensajes
function CargaMensajes(m) {
   Msg=m.split(",");
}
//funcion que crea los objetos de imagenes activas
//contienen la imagen ON y la imagen OFF
function class_img(fileon,fileoff) {
   this.on = new Image();
   this.on.src = fileon; //nombre del fichero .gif o .jpg ON
   this.off = new Image();
   this.off.src = fileoff;//nombre del fichero .gif o .jpg OFF
}
//funcion que muestra un scroll de texto en la barra de status
function scroll(){
   obj_scroll.text=obj_scroll.text.substring(1,obj_scroll.longitud) + obj_scroll.text.charAt(0);
   window.status=obj_scroll.text;
   timerID=setTimeout("scroll()",obj_scroll.time);
} 
//funcion que activa las imagenes (evento onMouseOver) 
function set_img_on(id,img) {
   if (document.images && obj_img[img]!=null) {
      document.images[id].src = obj_img[img].on.src;    
  } 
}
//funcion que restaura las imagenes (evento onMouseOut) 
function set_img_off(id,img) {
   if (document.images && obj_img[img]!=null)
      document.images[id].src = obj_img[img].off.src;
}
//funcion que pone el mensaje en la barra de status
function msg_on(n) {
   if (obj_scroll!=null) clearTimeout(timerID);  
   window.status=Msg[n];
}
//funcion que activa de nuevo el scroll
function msg_off() {
  window.status=""
  if (obj_scroll!=null) scroll();

}
//funcion que pone la fecha de ultima actualizacion
function last_fecha() {
  var fecha=document.lastModified.substring(0,8);     
  var mes=fecha;
  mes=mes.substring(0,3);
  var dia=fecha;
  dia=dia.substring(3,6);
  var anno=fecha;  
  anno=anno.substring(6,8);
  document.write("<FONT SIZE=-1>Actualizado el: <b><FONT COLOR='#CC6644'>" + dia + mes + anno + "</FONT></B></FONT>");
}

//funcion que pone la fecha de ultima actualizacion
function last_fechai() {
  var fecha=document.lastModified.substring(0,8);     
  var mes=fecha;
  mes=mes.substring(0,3);
  var dia=fecha;
  dia=dia.substring(3,6);
  var anno=fecha;  
  anno=anno.substring(6,8);
  document.write("<FONT SIZE=-1>Updated on: <b><FONT COLOR='#CC6644'>" + mes + dia + anno + "</FONT></B></FONT>");
}


//-->