function displayDocumentDate()
{
	var modified = document.lastModified;
   document.write(modified);
}

function displayCurrentDate()
{
var today = new Date();
displayDate(today);
}

function displayDate(date)
{
   var hrs = date.getHours();

   year = date.getYear() + 1900;
	if (year > 1999)
      year=year-1900;
      thisDay = date.getDate();
      document.write("<font size=2 face=Arial,Helvetica><strong>");
      document.write(writeMonthFull(date))
      document.write(" ");
      document.write(thisDay);
      document.write(", ");
      document.write(year);
      document.write("</FONT>");
}

function writeMonthFull(date)
{
   if (date.getMonth() == 0)
      return "January";
   else if (date.getMonth() == 1)
      return "February";
   else if (date.getMonth() == 2)
      return "March";
   else if (date.getMonth() == 3)
      return "April";
   else if (date.getMonth() == 4)
      return "May";
   else if (date.getMonth() == 5)
      return "June";
   else if (date.getMonth() == 6)
      return "July";
   else if (date.getMonth() == 7)
      return "August";
   else if (date.getMonth() == 8)
      return "September";
   else if (date.getMonth() == 9)
      return "October";
   else if (date.getMonth() == 10)
      return "November";
   else if (date.getMonth() == 11)
      return "December";
   else if ((date.getMonth() > 11) || (date.getMonth < 0))
      return "ERROR";
}