rem: var commandNode = top.document.getElementById(command); if ( commandNode ) { var value = commandNode.getAttribute(valueAttribute); if ( value ) commandNode.setAttribute('value', value); } 
add: var commandNode = top.document.getElementById(command); if ( commandNode ) { var label = commandNode.getAttribute(labelAttribute); if ( label ) commandNode.setAttribute('label', label); } 
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: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/eaa6754a0a946375badf1165b3e4af3999e4b03c/globalOverlay.js/clean/xpfe/global/resources/content/globalOverlay.js