function writeDateModified ()
{
   var months = new Array;                      // Array to hold up month names

  // Load up month names
  months[0] = "January";
  months[1] = "February";
  months[2] = "March";
  months[3] = "April";
  months[4] = "May";
  months[5] = "June";
  months[6] = "July";
  months[7] = "August";
  months[8] = "September";
  months[9] = "October";
  months[10] = "November";
  months[11] = "December";

     // Assign date variables with document.lastModified 
    var modDate = new Date(document.lastModified);
  
      
    // Set up month variable to hold the name of the month
    var month = months[modDate.getMonth()];
    
    // Get the year and if it is less than 1000 add 1900 to it.
    var year = modDate.getFullYear(); 
    // Display date and time document was last updated.
   return document.write(month + " " + year+ "  ");
    
  }