function f() 
function f() 
function f() {  var obj = new Object();  obj['name']      = 'Just a name';  obj['if']        = false;  obj['some text'] = 'correct';}
5459	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5459/3703c3c05f398a63e55992f7687ef65273b26d6a/regress-231518.js/clean/js/tests/js1_5/extensions/regress-231518.js