function startTime()
{

var today=new Date();
var dd= today.getDate();
var mm= today.getMonth();
var yy=today.getYear();
var h=today.getHours();
var m=today.getMinutes();
var s=today.getSeconds();
//mm=mm+1;
// add a zero in front of numbers<10
var month_name
if(mm==0){ month_name="Jan" }
if(mm==1){ month_name="Feb" }
if(mm==2){ month_name="Mar" }
if(mm==3){ month_name="Apr" }
if(mm==4){ month_name="May" }
if(mm==5){ month_name="Jun" }
if(mm==6){ month_name="Jul" }
if(mm==7){ month_name="Aug" }
if(mm==8){ month_name="Sep" }
if(mm==9){ month_name="Oct" }
if(mm==10){ month_name="Nov" }
if(mm==11){ month_name="Dec" }


m=checkTime(m);
s=checkTime(s);
document.getElementById('txt').innerHTML=month_name+" "+dd+" "+yy+" "+h+":"+m+":"+s;
t=setTimeout('startTime()',500);
}

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