function showmenu(ident) {

	clearTimeout(window['menutimeout'+ident]);
	obj = document.getElementById(ident);
	obj.style.visibility = 'visible';
	obj.style.display = '';

}

function hidemenu(ident) {

	window['menutimeout'+ident] = setTimeout("hidemenu_timout('"+ident+"')", 150 );

}

function hidemenu_timout(ident) {
	obj = document.getElementById(ident);
	obj.style.visibility = 'hidden';
	obj.style.display = 'none';
}

function hightlightthis(obj) {
	obj.style.backgroundColor='#20262b';
}

function unhightlightthis(obj) {
	obj.style.backgroundColor='';
}