rem: var elementhide = FetchElement("popup_"+menu) elementhide.style.zIndex = -1 elementhide.style.left = '0px' elementhide.style.top = '0px' elementhide.style.visibility = 'hidden' active = 0 
add: var elementhide = FetchElement("popup_"+menu); elementhide.style.zIndex = -1; elementhide.style.left = '-1000px'; elementhide.style.top = '-1000px'; elementhide.style.visibility = 'hidden'; active = 0; 
context: function HideMenu(menu) {	var elementhide = FetchElement("popup_"+menu)	elementhide.style.zIndex = -1	elementhide.style.left = '0px'	elementhide.style.top = '0px'	elementhide.style.visibility = 'hidden'	active = 0}
meta: 9569	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9569/ad2d4c49d576e33eb5f75e6d027ba1fe85a04c59/menu.js/clean/viscacha/templates/menu.js