if (typeof gc == "function") gc(); for (var i = 0; i != 40000; ++i) { var tmp = 2 / TMP; tmp = null; } return 0; } 
if (typeof gc == "function") gc(); for (var i = 0; i != 40000; ++i) { var tmp = 2 / TMP; tmp = null; } return 0; } 
	valueOf: function() {		if (typeof gc == "function") gc();		for (var i = 0; i != 40000; ++i) {			var tmp = 2 / TMP;			tmp = null;		}		return 0;		}
5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5872/3703c3c05f398a63e55992f7687ef65273b26d6a/regress-313276.js/clean/js/tests/js1_5/GC/regress-313276.js