function LastModDate() {
//      var isSafari = (navigator.userAgent.indexOf("Safari") >= 0) ? 1 : 0;
	
	  Mon        = new Array("Jan.","Feb.","March","April","May","June","July","Aug.","Sept.","Oct.","Nov.","Dec.");
	  LastMod    = new Date(document.lastModified);
      CurrentDay = new Date();
      Day        = LastMod.getDate();
      Month      = Mon[LastMod.getMonth()];
	  Year       = LastMod.getFullYear();
	 
//      if (isSafari) {  
        Display = Mon[CurrentDay.getMonth()] + " " + CurrentDay.getDate() + ", " + CurrentDay.getFullYear();
//      } else {
//        Display = Month + " " + Day + ", " + Year;
//      }
	
	return Display;
    }

    document.write("Last Updated: " + LastModDate());