function getDateAndTime() {
   var months = new Array(13);
   months[0]  = "January";
   months[1]  = "February";
   months[2]  = "March";
   months[3]  = "April";
   months[4]  = "May";
   months[5]  = "June";
   months[6]  = "July";
   months[7]  = "August";
   months[8]         = "September";
   months[9]         = "October";
   months[10]        = "November";
   months[11]        = "December";
   var now           = new Date();
   // Get date
   var monthnumber   = now.getMonth();
   var monthname     = months[monthnumber];
   var monthday      = now.getDate();
   var year          = now.getYear();
   year              = (year < 2000)? year + 1900 : year;
   // Get time
   var hour          = now.getHours();
   if (hour   > 12) { hour = hour - 12;      }
   if (hour   == 0) { hour = 12;             }
   if (hour   < 10) { hour   = "0" + hour;   }
   var minute        = now.getMinutes();
   if (minute < 10) { minute = "0" + minute; }
   var second        = now.getSeconds();
   if (second < 10) { second = "0" + second; }
   var ap            = (hour   > 11) ? "PM" : "AM";
   var date_and_time = monthname + ' ' + monthday + ', ' + year   + '  ' + 
                       hour      + ':' + minute   + ':'  + second + ' '  + ap;
   return date_and_time;
}

function systemClock() {
	var localTime = getDateAndTime();
	document.getElementById('system_clock').innerHTML = "&nbsp;&nbsp;"+ localTime;
	id=setTimeout("systemClock()", 1000);
}
