// DateModified.js
//
// Change history
//
// Who	When	Why
// ===	=======	=============================================
// jmp  13sep07 created
// jmp  23may07 remove m+1 and m-1
// jmp  04aug11 use full year 

// format script to embed "This page was last updated on day, date month year" 
// example: This page was last modified Wednesday, 27 June 2007
//


function getYearStr()
{
    var today = new Date()
    var year = today.getFullYear()
    return year;
}

function date_ddmmmyy(date)
{
  var da = date.getDay();
  var d = date.getDate();
  var m = date.getMonth();
  var y = date.getFullYear();

  // could use splitString() here
  // but the following method is
  // more compatible

  var myDays= ["Sunday","Monday","Tuesday","Wednesday","Thursday","Friday","Saturday","Sunday"];

  var myDay = myDays[da];

  var myMonths = ["January","February","March","April","May","June","July","August","September","October","November","December"];

  var mmm = myMonths[m];

  return "" +
    myDay + ", " +
    d + " " +
    mmm + " " +
    (y<10?"0"+y:y);
}


//
// get last modified date of the
// current document.
//
function date_lastmodified()
{
  var lmd = document.lastModified;
  var s   = "Unknown";
  var d1;

  // check if we have a valid date
  // before proceeding
  if(0 != (d1=Date.parse(lmd)))
  {
    s = "" + date_ddmmmyy(new Date(d1));
  }

  return s;
}

//
// finally display the last modified date
// as DAY, D Month YYYY
//
document.write(
  "- " + getYearStr() + " \xA9 SDC; This page was last updated on " +
  date_lastmodified() );

//