function popupBlockerMenuShowing(event) { 
function popupBlockerMenuShowing(event) { 
function popupBlockerMenuShowing(event) {  var separator = document.getElementById("popupMenuSeparator");  if (separator)    separator.hidden = !createShowPopupsMenu(event.target);}
5459	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5459/e144bb8fb7f5ff5802d29b37368baa096183f26f/navigator.js/clean/suite/browser/navigator.js