//////////////////////////////////////////////////////////////////
//		 	GENERAL-USE FUNCTIONS			//
//////////////////////////////////////////////////////////////////


function makeArray() {
  var args = makeArray.arguments;
  for (var i = 0; i < args.length; i++) {
    this[i] = args[i];
  }
  this.length = args.length;
}



function getString(date) {
  var months = new makeArray("January", "February", "March", "April", "May", "June", "July", "August", "September", "October", "November", "December");
  return months[date.getMonth()] + " " + date.getDate() + ", " + ((date.getYear() < 100) ? "19" : "") + date.getYear();
}


function Date2String(date_str) {

	var months = new makeArray("enero", "febrero", "marzo", "abril", "mayo", "junio", "julio", "agosto", "septiembre", "octubre", "noviembre", "diciembre");

	var realdate=new Date();
	realdate.setTime(Date.parse(date_str));

	var day = realdate.getDate();
	  var month = months[realdate.getMonth()];
	   var year = ((realdate.getYear() < 100) ? "19" : "") + realdate.getYear();

	var datestr_spa = day + " de " + month + " del " + year;

  return datestr_spa;
}