handleOK(); return true; 
handleOK(); return true; 
function OK() {	handleOK();	return true;}
5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5872/a3a9a2c311afc9d76e4e6bfc036e5897fa988bc1/selecttests.js/clean/testing/extensions/community/chrome/content/tabs/selecttests.js