setTimeout(DocumentLoaded, 0); 
setTimeout(DocumentLoaded, 20); 
function OnDocumentLoad(){    setTimeout(DocumentLoaded, 0);}
5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5872/ca0e3306d55c19f519d4c81eaafbd99f6741e3de/reftest.js/buggy/layout/tools/reftest/reftest.js