dojo.html.setMarginBox(this.domNode, { width: width, height: height }); 
dojo.html.setMarginBox(this.domNode, { width: width, height: height }); 
		resizeTo: function(/*Integer*/ width, /*Integer*/ height){			dojo.html.setMarginBox(this.domNode, { width: width, height: height });			dojo.widget.html.layout(this.domNode,				[				  {domNode: this.titleBar, layoutAlign: "top"},				  {domNode: this.resizeBar, layoutAlign: "bottom"},				  {domNode: this.containerNode, layoutAlign: "client"}				] );			// If any of the children have layoutAlign specified, obey it			dojo.widget.html.layout(this.containerNode, this.children, "top-bottom");			this.bgIframe.onResized();			if(this.shadow){ this.shadow.size(width, height); }			this.onResized();		},
6315	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/6315/2f1d2cb699c9d9329e8b782b0463156e211cb0f6/struts_dojo.js.uncompressed.js/buggy/src/main/resources/org/apache/struts2/static/dojo/struts_dojo.js.uncompressed.js