/* 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()