var clock;
 function stop() {
 clearTimeout(clock);
 }
 function shtime()
    {
	var dt=new Date();
	var W,Y,M,D,h,m,s,time;
	Y=dt.getYear();
	M=dt.getMonth()+1;
	D=dt.getDate();
	W=dt.getDay();
	h=dt.getHours();
	m=dt.getMinutes();
	s=dt.getSeconds();
	if(Y<1900)
	  Y=Y+1900;
	if (W==0)
	  W="So";
	if (W==1)
	  W="Mo";
	if (W==2)
	  W="Di";
	if (W==3)
	  W="Mi";
	if (W==4)
	  W="Do";
	if (W==5)
	  W="Fr";
	if (W==6)
	  W="Sa";
	if(M<=9) M="0"+M;
	if(D<=9) D="0"+D;
	if(s<=9) s="0"+s;
	if(m<=9) m="0"+m;
	if(h<=9) h="0"+h;
	time =W+". "+D+"."+M+"."+Y+" "+h+":"+m+":"+s;
	document.getElementById("zeit").firstChild.nodeValue = time;
	clock=setTimeout("shtime()",1000);
    }