///////////////////////////////////////////////////////
// Written by Philippe Heyvaert on February 02, 2004 //
// It should work for:                               //
// Internet Explorer 4.0 and higher                  //
// Netscape 4.0 and higher                           //
// Web Standard 1.0 and higher                       //
//                                                   //
// html-code:                                        //
// <script src="date.js"></script>                   //
///////////////////////////////////////////////////////


var d=new Date(document.lastModified)
var year=d.getFullYear()
var month=d.getMonth()
var monthname=new Array("January","February","March","April","May","June", "July","August","September","October","November","December")
var day=d.getDate()

if (day < 10)
{
document.write("Last updated: ")
document.write(monthname[month] + " ")
document.write("0" + day + ", ")
document.write(year)
}
else
{
document.write("Last updated: ")
document.write(monthname[month] + " ")
document.write(day + ", ")
document.write(year)
}