function upclock()
{
	var dte = new Date();
	var hrs = dte.getHours();
	var min = dte.getMinutes();
	var sec = dte.getSeconds();
	
	var weekdag = dte.getDay();
	var dag = dte.getDate();
	var maand = dte.getMonth();
	
	var col = ":";
	var spc = " ";
	var com = "";
	
	if (hrs == 0) hrs=12;
	if (min<=9) min="0"+min;
	
	if(weekdag==1) weekdag="ma";
	else if(weekdag==2) weekdag="di";
	else if(weekdag==3) weekdag="wo";
	else if(weekdag==4) weekdag="do";
	else if(weekdag==5) weekdag="vr";
	else if(weekdag==6) weekdag="za";
	else if(weekdag==0) weekdag="zo";
	
	if(maand==0) maand="jan";
	else if(maand==1) maand="feb";
	else if(maand==2) maand="maa";
	else if(maand==3) maand="apr";
	else if(maand==4) maand="mei";
	else if(maand==5) maand="jun";
	else if(maand==6) maand="jul";
	else if(maand==7) maand="aug";
	else if(maand==8) maand="sep";
	else if(maand==9) maand="okt";
	else if(maand==10) maand="nov";
	else if(maand==11) maand="dec";
	
	document.getElementById('clock').innerHTML = weekdag+spc+dag+spc+maand+spc+spc+hrs+col+min;
}
window.setInterval("upclock()",1000);