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

function ultActual() 
{ 
	// Identificamos el navegador usado
	var cfecha = document.lastModified; 
	var meses = new Array("January", "February","March","April", "May","June", "July", "August", "September", "October", "November", "December"); 
	var fecha = new Date(Date.parse(cfecha)); 
	var dia = fecha.getDate(); 
	var mes = meses[fecha.getMonth()]; 
	var agno = fecha.getFullYear(); 
	return (dia + " " + mes + " " + agno); 
} 

function escribeUltimaActualizacion()
{
	var nc = (document.layers) ? true:false
	var ie = (document.all) ? true:false
	var n6 = (document.getElementById) ? true:false
	
	if(ie == true) document.write("Last update: " + ultActual());
}