function do_execute(user, code) {  if( user != userId ) {    eval(code);  }}
6445	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/6445/ed9d3fffc5da068c40ff6e5c3c59799e194ddab4/tt.js/clean/public/javascripts/tt.js