	<!--Hide JavaScript from Java-Impaired Browsers
	var isn1=null;
	var isn2=false;
	today=new Date();

	function stopit(){
	if(isn2){
	clearTimeout(isn1);
	}
	isn2 = false;
	}

	function startit(){
	stopit();
	isnclock();
	}

        function isnclock(){
         var now=new Date();
         var hrs=now.getHours();
         var min=now.getMinutes();
         var sec=now.getSeconds();
         document.clckh.disp.value=""+((hrs>12) ? hrs-12 : hrs); 
         document.clckm.disp.value=((min<10) ? "0" : "")+min;
         document.clcks.disp.value=((sec<10) ? "0" : "")+sec;
         document.clck.disp.value=(hrs>=12) ? "p.m." : "a.m.";
         isn1=setTimeout("isnclock()",1000);
         isn2=true;
         }
        // Build an array initializer
        function isnArray() {
         argnr=isnArray.arguments.length
         for (var i=0;i<argnr;i++) {
          this[i+1] = isnArray.arguments[i];
          }
         }
        // And months and day arrays
        var isnMonthsEn=new isnArray("January","February","March","April","May","June","July","August","september","october","november","december");
        var isnDaysEn= new isnArray("Sunday", "Monday","Tuesday","Wednesday","Thursday","Friday","Saturday","Sunday");
        var isnMonthsIt=new isnArray("gennaio","febbraio","marzo","aprile","maggio","giugno","luglio","agosto","settembre","ottobre","novembre","dicembre");
        var isnDaysIt= new isnArray("Domenica", "Lunedi","Martedi","Mercoledi","Giovedi","Venerdi","Sabato");

        function printDateEn() {
            if (today.getYear() < 1900)
                    Year = today.getYear() + 1900;
            else
                    Year = today.getYear();
            document.write(""+isnMonthsEn[today.getMonth()+1]+", "+today.getDate()+" "+Year);
        }

        function printDateIt() {
            <!--Hide JavaScript from Java-Impaired Browsers
            if (today.getYear() < 1900)
                    Year = today.getYear() + 1900;
            else
                    Year = today.getYear();
            document.write(" "+today.getDate()+" "+isnMonthsIt[today.getMonth()+1]+" "+Year);
        }

    // Finish hiding of script -->

