rem:  GUIObject = getGUIObjectByName(objectName);   GUIObject.size = sizeString; 
add: getGUIObjectByName(objectName).size = sizeString; 
context: function setSize(objectName, sizeString){	// Use this function as a shortcut to change the size of a GUI control, specifying a size string.         // Get GUI object        GUIObject = getGUIObjectByName(objectName);	// Set size	GUIObject.size = sizeString;}
meta: 1070	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/1070/b40502c6d2a8b18e6df2dad5ccc186f4febfdac2/functions_session_coord.js/buggy/binaries/data/mods/official/gui/test/functions_session_coord.js