window.setTimeout(function() { TextZoom._applySettingToPref() }, 0); 
window.setTimeout(function (self) { self._applySettingToPref() }, 0, this); 
    window.setTimeout(function() { TextZoom._applySettingToPref() }, 0);
5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5872/db7cd57c4ee083b474dffe689b52f577a52bb6f8/browser-textZoom.js/buggy/browser/base/content/browser-textZoom.js