function get_date(){
if (!document.all && !document.getElementById) return
var Elm = (document.getElementById) ? document.getElementById("datetime_div") : document.all.datetime_div;
var dat = new Date();
var month = dat.getMonth();
var year = dat.getFullYear();
var day = dat.getDate();
switch(month){
   case 0: mon = 'Jan'; break;
   case 1: mon = 'Feb'; break;
   case 2: mon = 'March'; break;
   case 3: mon = 'Apr'; break;
   case 4: mon = 'May'; break;
   case 5: mon = 'June'; break;
   case 6: mon = 'Jule'; break;
   case 7: mon = 'Aug'; break;
   case 8: mon = 'Sen'; break;
   case 9: mon = 'Okt'; break;
   case 10: mon = 'Nov'; break;
   case 11: mon = 'Dec'; break;
}
var hours = dat.getHours();
var minutes = dat.getMinutes();
var seconds = dat.getSeconds();
if (minutes<=9) minutes = "0"+minutes
if (seconds<=9) seconds = "0"+seconds
var time = day+" "+mon+" "+year+" "+hours+":"+minutes+":"+seconds;
Elm.innerHTML = ""+time+""
setTimeout("get_date()",1000)
}
window.onload = get_date;