Redirect using randomly choosen links

This nifty little PHP code snippet will choose a link randomly from the list of links available, then redirect the visitor to the randomly selected page.
Please note that these codes should be put at the top of the page, and/or that there are no codes that output something to the browser before the following code.