function index_act_time()
{
	var jetzt = new Date();
	var tm = jetzt.getTime();
	if( tm > index_dest_time ){
		index_dest_time += index_time_day*3600000+ (tm-index_dest_time);
	}
	var diff = index_dest_time - tm;
	var s = Math.floor(diff / 3600000);
	diff %= 3600000;
	var m = Math.floor(diff / 60000);
	diff %= 60000;
	var sek = Math.floor(diff / 1000);
	

	
	index_time_div.innerHTML = s+" Stunde"+(s!=1 ? "n":"")+", "+(m<10 ? "0"+m : (m==23 || m==42 ? "<font color=\"#FFFFFF\"><b>"+m+"</b></font>" : m))+" Minute"+(m!=1 ? "n" : "")+", "+(sek<10 ? "0"+sek : sek)+" Sekunde"+(sek!=1 ? "n" : "")+" (Echtzeit)"; 
	window.setTimeout("index_act_time()", 1000);
}

function index_set_time(s,m,sek)
{
	if( !index_dest_time ){
		var jetzt = new Date();
		index_dest_time = jetzt.getTime() + 1000*sek + 60000*m + 3600000*s;
	}
	window.setTimeout("index_act_time()", 1);
}