//	sprachen ein-/ausblenden	//
function mover(element, bgfarbe, tfarbe){
	element.style.backgroundColor = bgfarbe;
	element.style.color = tfarbe;
	}
	
function mout(element, bgfarbe, tfarbe){
	element.style.backgroundColor = bgfarbe;
	element.style.color = tfarbe;
	}
	
var visible='visible';
var hidden='hidden';
var ausblenden = null;

function show(element){
	document.getElementById(element).style.visibility = visible;
			if(ausblenden){
		window.clearTimeout(ausblenden);
		}
	}
	
function countdown(){
	ausblenden = window.setTimeout("hide()",170);
	}	
	
function hide(){
	document.getElementById("lang").style.visibility = hidden;
	document.getElementById("help").style.visibility = hidden;
	if(ausblenden){
		window.clearTimeout(ausblenden);
		}
	}
	
function clear(){
		if(ausblenden){
		window.clearTimeout(ausblenden);
		}
	}	
//	sprachen ein-/ausblenden_EOF	//