function updatetime()
{
fulldate = document.lastModified
mm = fulldate.substring(0,2)
dd = fulldate.substring(3,5)
yy = fulldate.substring(6,10)
tt = fulldate.substring(11,19)
document.write("<BR><CENTER><I>Page last modified on " + dd + "/" + mm + "/" + yy)
document.write(" at " + tt + "</I></CENTER>")
}