if (gServer) gServer.stop(); 
function DoneTests(){    goQuitApplication();}
5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5872/3f905354724b3ae300b94c6f9df47781781c1982/reftest.js/buggy/layout/tools/reftest/reftest.js