var MonthNames = new Array("Enero","Febrero","Marzo","Abril","Mayo","Junio","Julio","Agosto","Septiembre","Octubre","Noviembre","Diciembre");
var DayName = new Array("Domingo","Lunes","Martes","Miércoles","Jueves","Viernes","Sábado");

// Customize the Date
function stringEs(aTimeStamp){
	var fecha = new Date(aTimeStamp);
//	fecha.setMilliseconds(aTimeStamp);
	var day = fecha.getDay();
	var month = fecha.getMonth();
	return (DayName[day] + " " + fecha.getUTCDate() + " de " + MonthNames[month] + " de " +  fecha.getFullYear() + " " + fecha.getHours() + ":" + fecha.getMinutes()+ ":" + fecha.getSeconds() + "hs");
}
//(1133472874110)