return "goodbye"; 
return "goodbye"; 
function MyOtherFunction() {    return "goodbye";}
5459	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5459/3703c3c05f398a63e55992f7687ef65273b26d6a/ToInt-002.js/clean/js/tests/lc3/JSObject/ToInt-002.js