<!-- 
//
// format date as aaaa, dd mmmm yyyy at hh:mm:ss
// example: Friday, 07 November 2003 at 18:00:00
//
function date_ddmmmyy(date)
{
  var d = date.getDate();     //day of month
  var m = date.getMonth();    //month of year
  var y = date.getYear();     //year
	var h = date.getHours();    //hours
	var n = date.getMinutes();  //minutes
	var s = date.getSeconds();  //seconds
	var a = date.getDay();      //day of week
  var mmmm = 
    ( 0==m)?'January':
		( 1==m)?'February':
		( 2==m)?'March':
    ( 3==m)?'April':
		( 4==m)?'May':
		( 5==m)?'June':
    ( 6==m)?'July':
		( 7==m)?'August':
		( 8==m)?'September':
    ( 9==m)?'October':
		(10==m)?'November':
		'December';
	var aaaa = 
	  ( 0==a)?'Sunday':
		( 1==a)?'Monday':
		( 2==a)?'Tuesday':
		( 3==a)?'Wednesday':
		( 4==a)?'Thursday':
		( 5==a)?'Friday':
		'Saturday';	
  return "" + aaaa + ", " +
    (d<10?"0"+d:d) + " " +
    mmmm + " " +
    (y<10?"0"+y:y) + " at " +
		(h<10?"0"+h:h) + ":" +
		(n<10?"0"+n:n) + ":" +
		(s<10?"0"+s:s);
}
//
// 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 write to the document
//
document.write("<p>&nbsp;</p>\n"
 + "<p><a href=\"http:\/\/validator.w3.org\/check\/referer\" target=\"_blank\"><img class=\"c1\"\n"
 + "src=\"http:\/\/tbrauch.com\/images\/valid\/valid-xhtml10.gif\" align=\"right\" alt=\"Valid XHTML 1.0!\" \/><\/a> <a\n"
 + "href=\"http:\/\/jigsaw.w3.org\/css-validator\/\" target=\"_blank\"><img class=\"c1\"\n"
 + "src=\"http:\/\/tbrauch.com\/images\/valid\/valid-css.gif\" align=\"right\" alt=\"Valid CSS!\" \/><\/a> <a\n"
 + "href=\"mailto:web&#046;master&#064;tbrauch.com\">Email the webmaster<\/a><br \/>\n"
 + "<span class=\"c18\">Last Updated:<br \/>\n"
 + date_lastmodified()
 + "<br \/>&copy;1998-2006<\/span><\/p>");
// -->
