function date_mmmddyy(date)
{
  var d = date.getDate();
  var m = date.getMonth() + 1;
  var y = date.getYear();

  if(y < 2000) { y += 1900; }

  var mmm = 
    (1==m)?'jan':( 2==m)?'feb':( 3==m)?'mar':(4==m)?'apr':
    (5==m)?'may':( 6==m)?'jun':( 7==m)?'jul':(8==m)?'aug':
    (9==m)?'sep':(10==m)?'oct':(11==m)?'nov':'dec';

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

function date_lastmodified()
{
  var lmd = document.lastModified;
  var s   = "unknown";
  var d1;

  if(0 != (d1=Date.parse(lmd)))
  {
    s = "" + date_mmmddyy(new Date(d1));
  }

  return s;
}

document.write(date_lastmodified());