<!-- Begin
// file: updated.js
// date: 05/08/2005
// author:  drf - www.davidflatters.co.uk
// get & format the date the document was last updated

var modDate = new Date(document.lastModified)
var year = modDate.getYear()
if(year < 1000){year += 1900}
var monthArray = new Array("January", "February", "March", "April", "May", "June", 
                           "July", "August", "September", "October", "November", "December")
document.write("Page Updated: "+modDate.getDate()+" "+monthArray[modDate.getMonth()]+" "+year);

// End -->