/** alternativ solution for IE :hover-effect on the navi-list **/
function perform_navi(object_id, color) {
	if (color == "")
//		window.setTimeout("document.getElementById('"+object_id+"_li').style.background='none';", 50);
//		window.setTimeout("document.getElementById('"+object_id+"_li').style.background='none';", 10);
		document.getElementById(object_id+"_li").style.background='none';
	else
		document.getElementById(object_id+"_li").style.background = "url(../design_images/navi_"+color+"_on.gif) right 6px no-repeat";
	return;
}