// show_date_time.js

function makeArray() {
    for (i = 0; i<makeArray.arguments.length; i++)
        this[i + 1] = makeArray.arguments[i];
}

function makeArray0() {
    for (i = 0; i<makeArray0.arguments.length; i++)
        this[i] = makeArray0.arguments[i];
}

function y2k(number) { return (number < 1000) ? number + 1900 : number; }

function show_date_time() {
 var months = new makeArray('January','February','March','April','May','June','July','August','September','October','November','December');
 var today = new Date();
 var date  = today.getDate();
 var month = today.getMonth() + 1;
 var year  = y2k(today.getYear());
 document.write(months[month] + ' ' + date + ', ' + year);
 }