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