/* $Revision: 9819 $ $Date: 2009-11-18 16:41:56 +0100 (wo, 18 nov 2009) $ */
var interval = 5;
var cuttOffTimerIntervalId = window.setInterval(descreaseCutOff,
		interval * 1000);

function descreaseCutOff() {
	var cuttOffElem = document.getElementById(cutofftimeElementId);
	if (timeLeft > 0 && (timeLeft -= interval) > 0) {
		var hours = Math.floor(timeLeft / 3600);
		var minutes = Math.floor(((timeLeft % 3600) / 60));
		cuttOffElem.innerHTML = hours + ":"
				+ (minutes >= 10 ? "" + minutes : "0" + minutes);
	} else {
		setShowPanel(2, false);
		window.clearInterval(cuttOffTimerIntervalId);
	}
}