{ var o = new Object(); eval.call(o, "var a = 'vodka'"); 
{ var o = new Object(); eval.call(o, "var a = 'vodka'"); 
function f1(){		var o = new Object();	eval.call(o, "var a = 'vodka'"); // <- CRASH !!!}
5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5872/3703c3c05f398a63e55992f7687ef65273b26d6a/regress-244619.js/buggy/js/tests/js1_5/Regress/regress-244619.js