context: function _optimize_window(){	var body = document.body;		if (is_gecko)    window.sizeToContent();  var clientWidth = body.clientWidth;  var clientHeight = body.clientHeight;  var scrollWidth = body.scrollWidth;  var scrollHeight = body.scrollHeight;	window.resizeBy(scrollWidth - clientWidth, scrollHeight - clientHeight + 30);}
meta: 8196	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/8196/b4cc54c34e598faecad4e19ffab960da9a00a286/common.js/buggy/php4/branches/trunk/shared/js/common.js