var now = new Date(); // today

function today()
{
 var date = now.getDate();
 var month = now.getMonth();
 var year= now.getYear();

 var month_Array = new Array("Jan", "Feb", "Mar", "Apr", "May", "Jun", "Jul", "Aug", "Sep", "Oct", "Nov", "Nov", "Dec");
 var Month = month_Array[month];

 if (date<10) date = "0" + date;

 document.write(date +' ' + Month + ' ' + year);
}

function runClock()
{
 theTime = window.setTimeout("runClock()", 1000);

 var display = now.toLocaleString();
 window.status = display;
}

function lastModified()
{
 var dateModified = document.lastModified;

 mydate = dateModified.slice(0,10);
 
 document.write('Last updated: ' + mydate);
}

function loadPage(fileName)
{
 location.href=fileName;

}

function loadDocument(location)
{
 var HTMLtarget=document.all[location];
 HTMLtarget.innerHTML=sourceDocument.transformNode(stylesheet.XMLDocument);
}