そういう場合は, document.loadOverlay()の代わりに
window.userChrome_js.loadOverlay()を使うんだけどね