var date;
var day_array = new Array("Sunday","Monday","Tuesday","Wednesday","Thursday","Friday","Saturday");
var month_array = new Array("January","February","March","April","May","Jun","July","August","September","October","November","December");
function show_time(){
 date = new Date();
 day = day_array[date.getDay()];
 maand = month_array[date.getMonth()];
 minutes = date.getMinutes();
 seconds = date.getSeconds();
 if (minutes < 10 ) {minutes = "0" + minutes;}
 if (seconds < 10) {seconds = "0" + seconds;}
 obj_table_time = document.getElementById("table_time");
 obj_table_time.innerHTML = day + " "+date.getDate()+" " + maand + " " +date.getHours() + ":" + minutes +":" + seconds;
 setTimeout("show_time()",1000);
}