function timer (time) {
	document.getElementById("timebegin").innerHTML=time;
	time--;
	if (time >= 0) setTimeout("timer("+time+")",1000);
}