HideMenu(menu); 
Hide(menu); 
function TryHideMenu(menu,CountHide) {	if (CountHide != MenuCountHide) {		return;	}	HideMenu(menu);}
9569	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/9569/feb79a266837befd93952d51210dec25e498c0d6/menu.js/buggy/viscacha08/templates/menu.js