//---------------------------------------------------------------------------------------------------------------------------------------------------------------------------
  // Date Support
  //
  var month = new Array("January","February","March","April","May","June","July","August","September","October","November","December");
  function GetDocumentCreatedDate() {
    updated = new Date(document.lastModified);
    Month   = month[updated.getMonth()];
    Day     = updated.getDate();
    Year    = updated.getYear();
    Hour    = updated.getHours();
    Min     = updated.getMinutes();
    if( Hour < 10 )  Hour = "0" + Hour;
    if( Min  < 10 )  Min  = "0" + Min;
    document.write("Created on " + Month + " " + Day +  ", " + Year + " at " + Hour + ":" + Min);
  }