isPaused = true; 
function pause() {    DebuggerDocument.pause();}
1725	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/1725/1d1c4edb4480d6ad36fa799b25111b1c8aa85204/debugger.js/clean/WebKitTools/Drosera/debugger.js