/* uhr.js */

var jetztuhr;
var doktitel=document.title
function dieuhr(){
	uhrzeit=new Date()
	sec=uhrzeit.getSeconds()
	hr=uhrzeit.getHours()
	min=uhrzeit.getMinutes()
}
function zweistellig(){
	if (hr <= "9"){
		hr = "0"+hr
	}
	if (min <= "9"){
		min = "0"+min
	}
	if (sec <= "9"){
		sec = "0"+sec
	}
}
function uhrlauf(){
	dieuhr()
	zweistellig()
	var jetztuhr=": "+hr+":"+min+":"+sec
	var timeout=setTimeout("uhrlauf()", 1000)
	document.title=doktitel+jetztuhr
}
if (document.all||document.getElementById)
uhrlauf()