var x = document.lastModified;
var y = Date.parse(x);
var z = new Date(y);

var day = z.getDate();
var month = z.getMonth() + 1;
var year = z.getYear();
var m;

switch(month)
{
   case 1:
      m = "Jan";
      break;
   case 2:
      m = "Feb";
      break;
   case 3:
      m = "Mar";
      break;
   case 4:
      m = "Apr";
      break;
   case 5:
      m = "May";
      break;
   case 6:
      m = "Jun";
      break;
   case 7:
      m = "Jul";
      break;
   case 8:
      m = "Aug";
      break;
   case 9:
      m = "Sep";
      break;
   case 10:
      m = "Oct";
      break;
   case 11:
      m = "Nov";
      break;
   case 12:
      m = "Dec";
      break;
}

if(year >= 2000)
{
   year -= 2000;
}

if(year >= 100)
{
   year -= 100;
}

var d = (day < 10) ? "0" + day : day;
var y = (year < 10) ? "0" + year : year;

if (!isNaN(d))
   document.write("This page was updated on " + d + " " + m + " " + y + "<br>");
