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("Lunes","Martes","Miercoles","Jueves","Viernes","Sabado","Domingo");

// Script que imprime la fecha
var Dia;
switch(today.getDay()) {
	case 1:   Dia = "Lunes";
	break;
	case 2:		Dia = "Martes";
	break;
	case 3:		Dia = "Miércoles";
	break;
	case 4:		Dia = "Jueves";
	break;
	case 5:		Dia = "Viernes";
	break;
	case 6:		Dia = "Sábado";
	break;
	case 0:		Dia = "Domingo";
	break;
}
switch(today.getMonth()) {
	case 0:		Mes = "Enero";
	break;
	case 1:		Mes = "Febrero";
	break;
	case 2:		Mes = "Marzo";
	break;
	case 3:		Mes = "Abril";
	break;
	case 4:		Mes = "Mayo";
	break;
	case 5:		Mes = "Junio";
	break;
	case 6:		Mes = "Julio";
	break;
	case 7:		Mes = "Agosto";
	break;
	case 8:		Mes = "Septiembre";
	break;
	case 9:		Mes = "Octubre";
	break;
	case 10:		Mes = "Noviembre";
	break;
	case 11:		Mes = "Diciembre";
	break;
}

/* get_fecha_descriptiva
 * Devuelve la fecha como "Jueves, 13 de algun mes" */
function get_fecha_descriptiva() {
  return Dia + " " + today.getDate() + " de " + Mes;
}