> Opera bugs are reported much less than most other widely used browsers, > and Opera is widely used. So you have access to opera's internal bugtracker, or did you just use $RANDOM to find an appropriate number? -- Bernd Zeimetz <bernd@bzed.de> <http://bzed.de/>