navigator.irgendwas kann man im Zeitalter von gefakten Browser-IDs immer mehr vergessen.
Ausser navigator.userAgent Hier wird auch bei Opera eine HTTP-Kennung geschickt die den Opera mitsamt Version kennzeichnet. Auch wenn man MSIE oder was anderes eingestellt hat.
Ganz praktisch:
op = /opera.6/g.test(navigator.userAgent.toLowerCase()) ? 1:0;