function startTime()
{
var today=new Date()
var days = new Array(
    'Sun','Mon','Tue',
    'Wed','Thu','Fri','Sat');
var months = new Array(
    'Jan','Feb','Mar','Apr','May',
    'Jun','Jul','Aug','Sep','Oct',
    'Nov','Dec');
var dd = ((today.getDate()<10) ? "0" : "")+ today.getDate();
var h=today.getHours()
var m=today.getMinutes()
var s=today.getSeconds()
// add a zero in front of numbers<10
m=checkTime(m)
s=checkTime(s)
var yy=fourdigits(today.getYear());

document.getElementById('display').innerHTML=days[today.getDay()]+" "+ months[today.getMonth()]+ " "+dd +" "+h+":"+m+":"+s+" "+yy;
t=setTimeout('startTime()',500);
}

function checkTime(i)
{
if (i<10) 
  {i="0" + i}
  return i
}

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