var date;
		var day_array = new Array("Domingo","Lunes","Martes","Miércoles","Jueves","Viernes","Sábado");
		var month_array = new Array("Enero","Febrero","Marzo","Abril","Mayo","Junio","Julio","Agosto","Septiembre","Octubre","Noviembre","Diciembre");
		function show_time()
		{
		 date = new Date();
		 day = day_array[date.getDay()];
		 maand = month_array[date.getMonth()];
		 minutes = date.getMinutes();
		 seconds = date.getSeconds();
		 if (minutes < 10 ) {minutes = "0" + minutes;}
		 if (seconds < 10) {seconds = "0" + seconds;}
		 obj_table_time = document.getElementById("table_time");
		 obj_table_time.innerHTML = day + " "+date.getDate()+" de " +" " + maand + " " +date.getHours() + ":" + minutes +":" + seconds;
		 setTimeout("show_time()",1000);
		}