function inspect () { JSON.POST( 'inspect', HTML.query($('inspect_object')), JSON.update('inspected') ); 
function inspect (element) { JSON.POST('inspect', HTML.query(element), JSON.update()); 
function inspect () {    JSON.POST(        'inspect',         HTML.query($('inspect_object')),         JSON.update('inspected')        );}
9223	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/9223/1edb04aa3297d300f1d4b2221b74ec7b7c81be67/root.js/buggy/app/127.0.0.2/root/root.js