// prueba si el navegador es de version 3 o mejor:
agent = navigator.userAgent;
browserVer = 2;
if (agent.substring(0,7) == "Mozilla")
{
    if (parseInt(agent.substring(8,9)) >= 3) {browserVer = 1;}
}
 
// carga la imagenes:
if (browserVer == 1) {
a_c = new Image(130,25);a_c.src = "bot1.jpg";a_a = new Image(130,25);a_a.src = "bot1-1.jpg";
b_c = new Image(130,25);b_c.src = "bot2.jpg";b_a = new Image(130,25);b_a.src = "bot2-1.jpg";
c_c = new Image(130,25);c_c.src = "bot3.jpg";c_a = new Image(130,25);c_a.src = "bot3-1.jpg";
d_c = new Image(130,25);d_c.src = "bot4.jpg";d_a = new Image(130,25);d_a.src = "bot4-1.jpg";
e_c = new Image(130,25);e_c.src = "bot5.jpg";e_a = new Image(130,25);e_a.src = "bot5-1.jpg";


}

function hiLite(imgDocID,imgObjName) {
// manages mouseOver animations
//   imgDocID - the name or number of the document image to be replaced
//   imgObjName - the name of the image object to be swapped in

if (browserVer == 1) {
document.images[imgDocID].src = eval(imgObjName + ".src");
}}



<!-- Codigo Fecha

var isn1=null;
var isn2=false;
today=new Date();

function stopit(){
 if(isn2){
  clearTimeout(isn1);
  }
 isn2 = false;
 }

function startit(){
 stopit();
 isnclock();
 }

function isnclock(){
 var now=new Date();
 var hrs=now.getHours();
 var min=now.getMinutes();
 var sec=now.getSeconds();
 document.clckh.disp.value=""+((hrs>24) ? hrs-14 : hrs); 
 document.clckm.disp.value=((min<10) ? "0" : "")+min;
 document.clcks.disp.value=((sec<10) ? "0" : "")+sec;
 isn1=setTimeout("isnclock()",1000);
 isn2=true;
 }
// Build an array initializer
function isnArray() {
 argnr=isnArray.arguments.length
 for (var i=0;i<argnr;i++) {
  this[i+1] = isnArray.arguments[i];
  }
 }
// And months and day arrays
var isnMonths=new isnArray("Enero","Febrero","Marzo","Abril","Mayo","Junio","Julio","Agosto","Septiembre","Octubre","Noviembre","Diciembre");
var isnDays= new isnArray("Domingo","Lunes","Martes","Mi&eacute;rcoles","Jueves","Viernes","S&aacute;bado");


// COdigo ventana
function OpenWin(url,tit,w,h,s){
	remote=null;
	remote=window.open(url,tit,'width='+w+',height='+h+',rezisable=no,scrollbars='+s+'');
		if ((document.window != null) && (!hWnd.opener))
			hWnd.opener = document.window;
	}                                  


// fin codigo ventana
// control formulario

function control(form)
{

if ((form.Nombre.value == "") || (form.Telefono.value == "") || (form.mail.value == "") || (form.Empresa.value == "") || (form.comentarios.value == ""))
	{ 	
		alert ("Debe completar todos los campos que contienen *");
		return (false);
  	}

if (form.mail.value.indexOf('@', 0) == -1) // Controlo que el email tenga "@"
	{
	alert ("No es una dirección de mail válida");
	form.mail.focus();
	return (false);
	}
document.formulario.submit();
}

// fin control de formulario