var DAYS_LONG =    ["Domingo", "Lunes", "Martes", "Miércoles","Jueves", "Viernes", "Sábado"];
var DAYS_SHORT =   ["Dom", "Lun", "Mar", "Mié","Jue", "Vie", "Sáb"];
var MONTHS_SHORT = ["Ene", "Feb", "Mar", "Abr","May", "Jun", "Jul", "Ago", "Sep","Oct", "Nov", "Dic"];
var MONTHS_LONG =  ["Enero", "Febrero", "Marzo", "Abril","Mayo", "Junio", "Julio", "Agosto", "Septiembre","Octubre", "Noviembre","Diciembre"];

function writeLongMonthName(monthNumber) {
	document.write(MONTHS_LONG[monthNumber-1])
}

function writeLongWeekDayName(dayNumber) {
	document.write(DAYS_LONG[dayNumber])
}

function writeShortMonthName(monthNumber) {
	document.write(MONTHS_SHORT[monthNumber-1])
}

function writeShortWeekDayName(dayNumber) {
	document.write(DAYS_SHORT[dayNumber])
}