Hallo,
allerdings unterscheidet window.opera nicht zwischen alten und neuen Versionen. Opera macht unter Javascript auch nur dann Probleme, wenn man unter Verion 6 oder älter mit DOM-Methoden Inhalte ändern möchte. Ich habe daher
if (document.getElementsByTagName('body')[0].replaceChild)
anstelle des oft gewählten
if (document.getElementById)
als DOM-Test genommen.
Gruß, Jürgen