// JavaScript Document
function disp(txt) {document.write(txt);}
function don_date_maj()
	{var date_maj=new Date(document.lastModified);
	date_maj=don_date_format(date_maj);
	return date_maj;}
function don_date_jour()
	{var date_jour=new Date();
	date_jour=don_date_format(date_jour);
	return date_jour;}
function don_date_format(d1) {
	var m=new Array(13);
	m[1]="de Enero"; m[2]="de Febrero";	m[3]="de Marso"; m[4]="de Abril"; m[5]="de Mayo"; m[6]="de Junio";
 	m[7]="de Julio";	m[8]="de Agosto"; m[9]="de Septiembre"; m[10]="de Octubre";	m[11]="de Noviembre"; m[12]="de Diciembre";
	var d=new Array(8);
	d[1]="Domingo"; d[2]="Lunes"; d[3]="Martes"; d[4]="Miercoles"; d[5]="Jueves"; d[6]="Viernes"; d[7]="Sabado";
	var mois=m[d1.getMonth()+1];
	var jour=d[d1.getDay()+1];
	var date=d1.getDate();
	var an=d1.getYear();
	if (an<200) an=1900+an;
	date=jour+" "+date+" "+mois+" "+an;
	return date;
	}
// JavaScript Document