function show(sub_header){ 	dom=eval(docObj + sub_header + styleObj); 	dom.visibility = "visible";}function hide(sub_header){ 	dom=eval(docObj + sub_header + styleObj); 	dom.visibility = "hidden";}var timeout_id;function call_timeout(sub_menu){  timeout_id = setTimeout("hide('" + sub_menu +"')", 800)}