if (typeof gc == "function") gc(); for (var i = 0; i != 40000; ++i) { var tmp = 1e100 * TWO; } return this; } 
if (typeof gc == "function") gc(); for (var i = 0; i != 40000; ++i) { var tmp = 1e100 * TWO; } return this; } 
        valueOf: function() {                if (typeof gc == "function")                         gc();                for (var i = 0; i != 40000; ++i) {                        var tmp = 1e100 * TWO;                }                return this;        }
5459	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5459/6d8f8110d71651dc093ebc1c292807a588de292f/regress-313938.js/buggy/js/tests/js1_5/extensions/regress-313938.js