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

  var lmod = new Date (document.lastModified);

  return  months[lmod.getMonth()] + " " +
          lmod.getDate() + ", " + 
          lmod.getFullYear();
}