function toggle_navigation(objName){
	obj = document.getElementById(objName);
	if (obj.className == objName) {obj.className = objName+'_OVER';}
	else if (obj.className == objName+'_OVER') {obj.className = objName;}
}