function clock() {
    var date=new Date();
	diff = date.getTimezoneOffset() / 60 * (-1);
    var std=date.getUTCHours();
	var SS=std+diff;
    if(SS<10)SS="0"+SS;
	if(SS==24)SS="00";
	if(SS==25)SS="01";
    var MM=date.getUTCMinutes();
    if(MM<10)MM="0"+MM;
    var sec=date.getUTCSeconds();
    if(sec<10)sec="0"+sec;
    var h=date.getUTCHours();
//	var hh=h+2;	diff_anz=diff-1;					//Sommerzeit
	var hh=h+1;	diff_anz=diff-1;					//Winterzeit (Normalzeit)
    if(hh<10)hh="0"+hh;
	if(hh==24)hh="00";
	if(hh==25)hh="01";
    var mm=date.getUTCMinutes();
    if(mm<10)mm="0"+mm;
    var ss=date.getUTCSeconds();
    if(ss<10)ss="0"+ss;
    document.form4.text1.value=hh+":"+mm+":"+ss+" ("+diff_anz+")";
    setTimeout("clock()", "1000");
  }