rem: gCurrentDragOverMenu.closePopup(); 
add: gCurrentDragOverMenu.hidePopup(); 
context: function closeOpenMenu(){  if (gCurrentDragOverMenu && gCurrentTarget.firstChild != gCurrentDragOverMenu) {    if (gCurrentTarget.parentNode != gCurrentDragOverMenu) {      gMenuIsOpen = false;      gCurrentDragOverMenu.closePopup();      gCurrentDragOverMenu = null;    }  }}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/5757c340bb83fb8aad9eaef7d0990e0c976d7606/navigatorDD.js/buggy/suite/browser/navigatorDD.js