if (this.gc) gc(); for (var i = 0; i != 30000; ++i) { var tmp = Math.sin(i); tmp = null; } 
if (this.gc) gc(); for (var i = 0; i != 30000; ++i) { var tmp = Math.sin(i); tmp = null; } 
function force_gc(){    if (this.gc) gc();    for (var i = 0; i != 30000; ++i) {        var tmp = Math.sin(i);        tmp = null;    }}
5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5872/3703c3c05f398a63e55992f7687ef65273b26d6a/regress-311497.js/buggy/js/tests/js1_5/GC/regress-311497.js