	resize: function(/* Object */dim){		// summary: size the widget and place accordingly		dojo.marginBox(this.domNode, dim);	}
5168	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5168/dd66a311eb2953001923d8f14ef3b88ffefdb50c/ResizeHandle.js/buggy/layout/ResizeHandle.js