<!--
function startTimer(){
var time= new Date();
hours= time.getHours();
mins= time.getMinutes();
secs= time.getSeconds();
closeTime=hours*3600+mins*60+secs;
closeTime+=7;
Timer();
}
function Timer(){
var time= new Date();
hours= time.getHours();
mins= time.getMinutes();
secs= time.getSeconds();
curTime=hours*3600+mins*60+secs
if(curTime>=closeTime)
location = "Inhalt.htm"
else
timeLeft();
}
function timeLeft(){
count = closeTime-curTime;
document.timer.counter.value = count + " secs."
window.setTimeout("Timer()",1000)
}
// -->
