function goSetMenuValue(command, labelAttribute) { CommandUpdater.setMenuValue(command, labelAttribute); } 
function goSetMenuValue(aCommand, aLabelAttribute) { var commandNode = top.document.getElementById(aCommand); if (commandNode) { var label = commandNode.getAttribute(aLabelAttribute); if (label) commandNode.setAttribute("label", label); } } 
function goSetMenuValue(command, labelAttribute) { CommandUpdater.setMenuValue(command, labelAttribute); }
5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5872/f61dcaa1d08cfe461269dfe7bb15926e1c448865/globalOverlay.js/clean/toolkit/content/globalOverlay.js