var timeout=1200;
var timer;

function timeout(id) {
	document.getElementById(id).style.visibility = 'hidden';
}

function HideOthers(id) {
	if (id!='nav_fewo')
    document.getElementById('nav_fewo').style.visibility = 'hidden';
	if (id!='nav_themen')
    document.getElementById('nav_themen').style.visibility = 'hidden';
}

function Show(id) {
	document.getElementById(id).style.visibility = 'visible';
	clearTimeout(timer);
}

function Mouseout() {
	timer=setTimeout("HideOthers()", timeout);
}

function Mausaktiv() {
	clearTimeout(timer);
}

function Changebackgroundcolor(id, bgcolor) {
	document.getElementById(id).style.backgroundColor = bgcolor;
}