Opera friendly PHP redirect

Opera can’t handle a redirect to a URL that ends in an anchor. I found this out trying to use the PHP header() function.

From what little I was able to find using Google on the topic, it appears that Opera won’t redirect a user to the page they just came from, it must be a different URI.

To get around this in php, here’s what I did:

<?php
header('Location: file.php?value1=12&value2=43&r='.rand().'#anchorName');
?>

Having the random number from rand() makes the page unique, and the redirect works as expected.