function pctime() {
var today = new Date();
var year  = today.getYear();
if (year < 2000)  // firefox & netscape correction
year = year + 1900;
var month = today.getMonth() + 1;
var day  = today.getDate();
var hour = today.getHours();
var minute = today.getMinutes();
var minutedifference;
var second = today.getSeconds();
if (month == 1) month = " january ";
if (month == 2) month = " february ";
if (month == 3) month = " march ";
if (month == 4) month = " april ";
if (month == 5) month = " may ";
if (month == 6) month = " june ";
if (month == 7) month = " july ";
if (month == 8) month = " august ";
if (month == 9) month = " september ";
if (month == 10) month = " october ";
if (month == 11) month = " november ";
if (month == 12) month = " december ";
if (day <= 9) day = "0" + day;
if (hour <= 9) hour = "0" + hour;
if (minute <= 9) minute = "0" + minute;
if (second <= 9) second = "0" + second;
time = " " + year + month  + day + "   "
+ hour + ":" + minute + ":" + second + " (PC)";
document.pc.display.value = time;
window.setTimeout("pctime();", 500);
}