document.write("<center> Last Update: ");
document.writeln(DocDate(),"</center>");