var fernsehbild_timer_running = new Array();
fernsehbild_timer_running[1]= false;
fernsehbild_timer_running[2]= false;
var fernsehbild_delay_time = 500;

function stopFernsehbildTimer(fernseher_nr) {
	fernsehbild_timer_running[fernseher_nr] = false;
}

function zeigeFernsehNavi (fernseher_nr) {
	stopFernsehbildTimer(fernseher_nr);

	bild_obj = document.getElementById ('fernseher'+fernseher_nr+'_bild');
	if (bild_obj) bild_obj.style.visibility  = 'hidden';
	
	navi_obj = document.getElementById ('fernseher'+fernseher_nr+'_test');
	if (navi_obj) navi_obj.style.visibility = 'visible';			
}

				
function zeigeFernsehBildDelayed (fernseher_nr) {
	fernsehbild_timer_running[fernseher_nr] = true;
	window.setTimeout("zeigeFernsehBild("+fernseher_nr+")",fernsehbild_delay_time);
}

function zeigeFernsehBild (fernseher_nr) {

	if (!fernsehbild_timer_running[fernseher_nr]) return;
	
	bild_obj = document.getElementById ('fernseher'+fernseher_nr+'_bild');
	if (bild_obj) bild_obj.style.visibility  = 'visible';
	
	navi_obj = document.getElementById ('fernseher'+fernseher_nr+'_testi');
	if (navi_obj) navi_obj.style.visibility = 'hidden';
}


function changeBgColor (obj, color) {	
	if (!obj) return;		
	if (!obj.style) return;	
	obj.style.backgroundColor = color;
}