<!--
//
// lastmodified.js
//
// (c) Paul Nicholson 2005, 2008
//
// Functionality:
//             Returns the file's last modified date from the server
//
// Change history:
// 18-Jun-2008 getYear changed to getFullYear to make script work in latest Firefox browser 
//	       IE6 and IE7 displayed 2008 whereas Firefox displayed 108 instead
//
// Instantiation:
//             to use this script, place this command line in the html:
//
//             <p align="right"> Last Modified:- <script language=Javascript" src=js/lastmodified.js></script></p>
//

var filesdate = document.lastModified
var d = new Date(filesdate)
//var d = new Date(filesdate+' GMT')


document.write(d.getDate() + "-" + (d.getMonth()+1) + "-" + d.getFullYear() + " ")
//document.write(d.getHours()-1 + ":" + d.getMinutes())

//-->


