<!--
window.onerror=null;
// toString = Thu Dec 22 16:35:13 UTC+0100 2005
// toUTCString = Thu, 22 Dec 2005 15:35:13 UTC
// toGMTString = Thu, 22 Dec 2005 15:35:13 UTC
// toLocaleString = giovedė 22 dicembre 2005 16.35.13
function doClock() { 
	window.setTimeout( "doClock()", 1000 ); 
	today = new Date(); 
	self.status = "www.comprensorioc9.tn.it - local time: " + today.toLocaleString(); 
}
// -->