if (!document.all || window.opera) { elementhide.style.overflow = 'hidden'; } 
function HideMenu(menu) {	var elementhide = FetchElement("popup_"+menu);	elementhide.style.zIndex = -1;	elementhide.style.left = '-1000px';	elementhide.style.top = '-1000px';	elementhide.style.visibility = 'hidden';	active = 0;}
9569	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/9569/54fee3f06a169d9a4860c5f63f6110373b3fb28e/menu.js/buggy/viscacha08/templates/menu.js