// JavaScript Document
	function getOggiDate()
	{
		days = new Array(7)
		days[1] = "Domenica";
		days[2] = "Lunedì";
		days[3] = "Martedì"; 
		days[4] = "Mercoledì";
		days[5] = "Giovedì";
		days[6] = "Venerdì";
		days[7] = "Sabato";
		months = new Array(12)
		months[1] = "Gennaio";
		months[2] = "Febbraio";
		months[3] = "Marzo";
		months[4] = "Aprile";
		months[5] = "Maggio";
		months[6] = "Giugno";
		months[7] = "Luglio";
		months[8] = "Agosto";
		months[9] = "Settembre";
		months[10] = "Ottobre"; 
		months[11] = "Novembre";
		months[12] = "Dicembre";
		today = new Date(); day = days[today.getDay() + 1]
		month = months[today.getMonth() + 1]
		date = today.getDate()
		year=today.getYear(); 
		if (year < 2000)
		year = year + 1900;
		return (day+", "+date+" "+month+" "+year)
	}
	

    function isGecko()
    {
	    var agt=navigator.userAgent;
	    var is_gecko = (agt.indexOf('Gecko') != -1);
	    return is_gecko;
    }
    
    function isNetscape()
    {
	    var agt=navigator.appName
	    return (agt.indexOf('Netscape') != -1);
    }