function goToURL() { window.location = "index.php"; }


function NoError()
{
return true;
}
window.onerror=NoError;



function lastmodif()
	
	{
	Modif = new Date(document.lastModified);
	DateModif = Modif.getDate() + " " + (Modif.getMonth()+1) + " " +  Modif.getFullYear();
	document.write(DateModif);
	}