var Days = new Array("Sunday","Monday","Tuesday", 
						"Wednesday","Thursday","Friday", 
						"Saturday","Sunday"); 

    var Months = new Array("January","February","March", 
						   "April","May","June","July",
						   "August","September","October", 
						   "November","December"); 

    function DateMod() 
    { 
            // get the date the file was last modified 
            var datemod = new Date(); 
            datemod.setTime(Date.parse(document.lastModified)); 

            // now format the string in the form dd mmm yyyy 
            var datestr = "Last modified: "; 
    //      datestr += Days[datemod.getDay()] + ", " 
            datestr += datemod.getDate() + " "; 
            datestr += Months[datemod.getMonth()] + " "; 
            datestr += datemod.getYear(); 

            return(datestr); 
    }