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