<!-- Hide from browsers not capable of JavaScript

// lastModified.js
// Writes date and time (GMT) of last modification of document. 
// Usage: In HTML file add: 
//        <SCRIPT SRC="../JavaScripts/lastModified.js"></SCRIPT>

// Taken from
// Last_Update.js
// 1.0 - r. lundy - 97 Oct 09
// 1.1 - r. lundy - 97 Nov 04
//                - return date in universal standard format: yy/mm/dd
// - - -
// P1C	1998-07-05 Tommy Pollak
//                 Format changed to yy-mm-dd hh:mm:ss. Comments moved and
//                 added.
// P2A/1 2000-02-12 Tommy Pollak
//                  Netscape 4.7 seems to give lastModified in
//                  different format. Adjusted to this.
//                  Format 1: mm/dd/yy hh:mm:ss
//                  Format 2: weekday, month d, yyyy hh:mm:ss
// P2B   2001-01-09 Tommy Pollak
//                  Function monthNo corrected for January (return "01";
//                  replaces result = "01"; break;
// P2C/1 2002-07-16 Tommy Pollák
//                  New format 3 for lastModified: weekday, month d, hh:mm:ss yyyy
//                  with Netscape 4.7 on Solaris.
// P2C/2 2002-07-20 Tommy Pollák
//                  New format 3 for lastModified: weekday, month d, hh:mm:ss yyyy
//                  with Netscape 4.7 on Solaris. Missing last char in date fixed.
// P3A/1 2005-01-02 Tommy Pollák
//                  New format 4 for lastModified: weekday, dd month yyyy hh:mm:ss GMT
//                  with Mozilla 1.7.3 on Solaris.
// - - -

// How to contact the Author: rlundy@ican.net

function monthName(indX) {
   monthNames = new Array("","Jan.","Feb.","Mar.","Apr.","May.","Jun.","Jul.","Aug.","Sep.","Oct.","Nov.","Dec.");
   return monthNames[indX];
}
function monthNo(month) {
   switch (month.substr(0,3)) {
     case "Jan": return "01";
     case "Feb": return "02";
     case "Mar": return "03";
     case "Apr": return "04";
     case "May": return "05";
     case "Jun": return "06";
     case "Jul": return "07";
     case "Aug": return "08";
     case "Sep": return "09";
     case "Oct": return "10";
     case "Nov": return "11";
     case "Dec": return "12";
   }
}

function lastModified() {
  // First split on space
  lastModifiedString = document.lastModified;
  lastModifieds = lastModifiedString.split(" ");
// Test for format and
//  a - set dateStrings to yy, mm and dd respectively
//  b - set timeString  to time
  Format = lastModifieds.length!=5 ? 1 : 2;
// P3A/1 - additional test for format 4
  if (Format == 1) {
    Format = lastModifieds.length==2 ? 1 : 4};
// P2C/1
  if (Format == 2) {
    Format = lastModifieds[4].substr(2,1)==":" ? 2 : 3};
//
   switch (Format) {
     case 1:
       dateString = lastModifieds[0];
       dateStrings = dateString.split("/");
       str1 = dateStrings[0];
       dateStrings[0] = dateStrings[2];
       str2 = dateStrings[1];
       dateStrings[1] = str1;
       dateStrings[2] = str2;
       timeString = lastModifieds[1];
       break
     case 2:
       dateStrings = lastModifieds;
       dateStrings[0] = dateStrings[3].substr(2,2);
       // Convert from MMM to mm
       dateStrings[1] = monthNo(dateStrings[1]);
       dateStrings[2] = 
         lastModifieds[2].substr(0,lastModifieds[2].length-1);
       timeString = lastModifieds[4];
       break
// P1C/1
     case 3:
       dateStrings = lastModifieds;
       dateStrings[0] = dateStrings[4].substr(2,2);
       // Convert from MMM to mm
       dateStrings[1] = monthNo(dateStrings[1]);
// P1C/2 length instead of length-1
       dateStrings[2] = 
         lastModifieds[2].substr(0,lastModifieds[2].length);
       timeString = lastModifieds[3];
       break
// P3A/1 - added
     case 4:
       // Initiate
       dateStrings = lastModifieds;
       // yy
       dateStrings[0] = lastModifieds[3].substr(2,2);
       // Convert from MMM to mm
       tempStr =lastModifieds[1];
       dateStrings[1] = monthNo(lastModifieds[2]);
       // dd
       dateStrings[2] = tempStr;
       timeString = lastModifieds[4];
       break
     };
// The following returns yy-mm-dd hh:mm:ss
   return dateStrings[0] + "-" + 
          dateStrings[1] + "-" + 
          dateStrings[2] + " " + timeString ;
// The following returns dd MMM yy, where MMM is the 3 character (English language) month abbreviation
//      Multiply dateStrings[0] by 1 to convert it to number from string, otherwise
//      the array lookup fails and returns ``undefined``
//   return dateStrings[2]+" "+monthName((dateStrings[0]*1))+" "+dateStrings[1];
}

document.write(lastModified() );

// stop hiding -->
