function initArray()
{ this.length = initArray.arguments.length;
for (var i = 0; i<this.length; i++)
this[i] = initArray.arguments[i] }
var DAYArray= new initArray("Sunday","Monday","Tuesday","Wednesday","Thursday","Friday","Saturday");
var MONTHArray= new initArray("January","February","March","April","May","June","July","August","September","October","November","December");
var LastModDate = new Date(document.lastModified);
var ora=LastModDate.getHours();
if (ora==24) {ora=00}
var min=LastModDate.getMinutes();
var sec=LastModDate.getSeconds();
document.write("Last modified: ");
document.write(DAYArray[(LastModDate.getDay())]," ");
document.write(MONTHArray[(LastModDate.getMonth())]," ");
document.write(LastModDate.getDate(),",");
document.write(" ",(LastModDate.getFullYear()));
if (min < 10) {
if (sec < 10) {
document.write(" ","-"," ",(ora),":","0",(min),":","0",(sec))}
else {
document.write(" ","-"," ",(ora),":","0",(min),":",(sec))}}
else {
if (sec<10) {
document.write(" ","-"," ",(ora),":",(min),":","0",(sec))}
else {
document.write(" ","-"," ",(ora),":",(min),":",(sec))}
}
document.write(".");