rem: if ( commandNode ) { 
add: if ( commandNode ) { 
context: function goSetMenuValue(command, valueAttribute){	var commandNode = top.document.getElementById(command);	if ( commandNode ) {		var value = commandNode.getAttribute(valueAttribute);		if ( value )			commandNode.setAttribute('value', value);	}}
meta: 10234	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10234/9c3cc4d4d23c792ac384690342d5b2df6addd701/globalOverlay.js/buggy/xpfe/global/resources/content/globalOverlay.js