var dLM = new Date(Date.parse(document.lastModified));
        var day = new Array("Sunday","Monday","Tuedsay",
            "Wednesday","Thursday","Friday","Saturday");
        var month = new Array("Jan","Feb","Mar","Apr","May","Jun",
            "Jul","Aug","Sep","Oct","Nov","Dec");
        var date = dLM.getDate();
        var day = day[dLM.getDay()];
        var month = month[dLM.getMonth()];
        var hours = dLM.getHours();
        var minutes = dLM.getMinutes();
        var seconds = dLM.getSeconds();
        var year = dLM.getFullYear();
        if (date<10) date = "0"+date;
        if (month<10) month = "0"+month;
        if (hours<10) hours = "0"+hours;
        if (minutes<10) minutes = "0"+minutes;
        if (seconds<10) seconds = "0"+seconds;
        document.write("Updated: "
        +date+"-"+month+"-"+year+" at "+hours+":"+minutes);
			document.write(" H GMT");