var debut = new Date;
debut = debut.getTime();

function load_time()
	{var fin = new Date;fin = fin.getTime();var secondes = (fin-debut)/1000;return secondes;}

function load_stat()
	{document.getElementById('stat_div').innerHTML='Page Générée en ' + load_time() + ' s.';}