function goSetCommandEnabled(command, enabled) { CommandUpdater.enableCommand(command, enabled); } 
function goSetCommandEnabled(aID, aEnabled) { var node = document.getElementById(aID);  if (node) { if (aEnabled) node.removeAttribute("disabled"); else node.setAttribute("disabled", "true"); } } 
function goSetCommandEnabled(command, enabled) { CommandUpdater.enableCommand(command, enabled); }
5459	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5459/f61dcaa1d08cfe461269dfe7bb15926e1c448865/globalOverlay.js/clean/toolkit/content/globalOverlay.js