<!--
	function time(){
		servertime = <? echo(date("U")*1000); ?>;
		localtime = new Date();
		diff = Math.abs(servertime-localtime);
		max_diff = 900000;	/*millisecondi=15 minuti*/
	if (diff > max_diff){
		alert("Attenzione!!\nPer accedere al sito e' necessario impostare l'ora esatta,\nl'orologio del tuo computer è fuori orario di " +Math.round(diff/1000/60)+ " minuti circa.\n");
		return false;
 	}
	else
		return true;
	} 		
//  -->