// Get last modified date
var lmd = document.lastModified;

// Format date if it is valid
var str = "unknown";
var datetest;
if ((datetest=Date.parse(lmd)) != 0)
{
  var dateObj = new Date(datetest);
  
  // Get day formatted as ordinal
  var d = dateObj.getDate();
  var ordsuf;
  var ord;
  switch (d)
  {
    case 11:
    case 12:
    case 13:
      ordsuf = 'th';
      break;
    default:
    {
    var onesdig = d % 10;
    switch (onesdig)
    {
      case 1:
        ordsuf = 'st';
        break;
      case 2:
        ordsuf = 'nd';
        break;
      case 3:
        ordsuf = 'rd';
        break;
      default:
        ordsuf = 'th';
    }
    }
  }
  ord = d + '<span class="dos">' + ordsuf + '</span>';
  
  // Get month in text
  var mon = dateObj.getMonth() + 1;
  var m = 
    ( 1==mon)?'January':
    ( 2==mon)?'February':
    ( 3==mon)?'March':
    ( 4==mon)?'April':
    ( 5==mon)?'May':
    ( 6==mon)?'June':
    ( 7==mon)?'July':
    ( 8==mon)?'August':
    ( 9==mon)?'September':
    (10==mon)?'October':
    (11==mon)?'November':
              'December';
  
  // Get four digit year
  var y = dateObj.getFullYear();
  
  // Put the date string together
  str = m + ' ' + ord + ', ' + y;
}

// Write the date string
document.write(str);