function hora_actual()
{
    var momentoActual = new Date();
	var dia = momentoActual.getDate();
	
	var month=new Array(12);
	month[0]="Enero";
	month[1]="Febrero";
	month[2]="Marzo";
	month[3]="Abril";
	month[4]="Mayo";
	month[5]="Junio";
	month[6]="Julio";
	month[7]="Agosto";
	month[8]="Septiembre";
	month[9]="Octubre";
	month[10]="Noviembre";
	month[11]="Diciembre";
	
	var mes = month[momentoActual.getMonth()];
	var ano = momentoActual.getFullYear();
    var hora = momentoActual.getHours();
    var minuto = momentoActual.getMinutes();
    var segundo = momentoActual.getSeconds();

    var str_segundo = new String (segundo);
    if (str_segundo.length == 1) segundo = "0" + segundo;

    var str_minuto = new String (minuto);
    if (str_minuto.length == 1) minuto = "0" + minuto;

    var str_hora = new String (hora);
    if (str_hora.length == 1) hora = "0" + hora;

    var horaImprimible = hora + ":" + minuto + ":" + segundo;
	var fechaImprimible = dia + " de " + mes + " del " + ano + ", ";

	document.getElementById('hora').innerHTML =fechaImprimible+horaImprimible;
	//document.getElementById('hora').innerHTML ='4';
    setTimeout("hora_actual()",1000);
}