Just remove this part:
if (!document.all)
return
For future reference, make sure you download
Firebug[
^], a Firefox extension which allows you to debug your scripts (and I do believe Opera has developer tools built in as well). Using that, the JavaScript console showed this message:
Non-standard document.all property was used. Use W3C standard document.getElementById() instead.
if (!document.all)
As you're not using
document.all
anywhere else, removing it makes sure the script works.