rem: function goSetMenuValue(command, valueAttribute) 
add: function goSetMenuValue(command, labelAttribute) 
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: 8395	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/8395/0b2dd2b2d2fd037df917e07645fa019a963332a5/globalOverlay.js/clean/xpfe/global/resources/content/globalOverlay.js