// Obtains the time from the user's system date
// author ptogle@svi.com.ph 06302003
function getDateTime() {
var now = new Date();
var MONTHARRAY = new Array('January', 'February', 'March', 'April', 'May', 'June', 'July', 'August', 'September', 'October', 'November', 'December');
var month = now.getMonth();
var mdate = now.getDate();
var yr = now.getFullYear();
var hrs = now.getHours();
var mins = now.getMinutes();
var secs = now.getSeconds();
var tzoffset = now.getTimezoneOffset()/60;
var id = "";
//construct the date
var date = MONTHARRAY[month] + " " + mdate + ", " + yr;

//construct the time
if (mins < 10) mins = "0" + mins;
if (secs < 10) secs = "0" + secs;
//offset the time to GMT
//hrs = hrs + tzoffset;
//set the time to Eeaster Standard Time (-5 GMT)
/*if (hrs >= 5) { 
hrs = hrs - 5;
} else {
hrs = hrs + 24 - 5;
}*/

//obtain the time identifier
if (hrs > 12) {
hrs = hrs - 12
id="PM"
} 
else if (hrs == 12) id="PM";
else id="AM";

//set the time to non-military time format
if (hrs < 10) hrs = "0" + hrs;

var time = date + " " + hrs + ":" + mins + ":" + secs + " " + id;

return time;
}

function tick() {
  var d=document;
  d.getElementById("clock").innerHTML = getDateTime();
  setTimeout("tick()",1000);
}