--------------------------------
Source: Darren's Outpost - http://ahkuan.com
from entry - http://ahkuan.com/weblog/archive/2005/10/09/opera-and-php-header.html
this code fragment itself - http://ahkuan.com/weblog/14/code/2.html
--------------------------------

--------------- code fragment begin ---------------
<?
// This won't work with Opera 7.54 or even earlier,
// or this never worked before in Opera up to 8.5
header("Location: http://www.domain.com/file01.php?do=something#anchorhere");
// No problem for this though
header("Refresh: 5; http://www.domain.com/file01.php?do=something#anchorhere");
// A method to overcome the problem in Opera
header("Refresh: 0; http://www.domain.com/file01.php?do=something#anchorhere");
?>