Возврат к предыдущему URL

$ref=$_SERVER['HTTP_REFERER'];
if (isset($ref))
{
echo "<a href=\"$ref\">вернуться</a>";
}
else
{
echo "<a href=\"http://www.mysite.ru/index.php\">на главную</a>";
}

$ref = (isset($_SERVER['HTTP_REFERER'])) ? $_SERVER['HTTP_REFERER']:False;
if ($ref === False)
{
echo "<a href=\"http://www.mysite.ru/index.php\">на главную</a>";
}
else
{
echo "<a href=\"$ref\">вернуться</a>";
}

// Ссылка на предыдущую страницу
$back = $_SERVER['HTTP_REFERER'];
if ( isset($_GET['back']) ) $back = $_GET['back'];
if ( isset($_POST['back']) ) $back = $_POST['back'];
// Если ссылка не на наш сайт, то правим на главную страницу нашего сайта :)
if ( $back[0] !== '/' && substr($back, 0, strlen("http://$_SERVER[SERVER_NAME]")) !== "http://$_SERVER[SERVER_NAME]" )
$back = "http://$_SERVER[SERVER_NAME]/index.php";
$INFO['back'] = $back;

<div>{ERRORS}</div>
Имя <input type="text" name="name" value="{NAME}" /><br />
Пароль <input type="password" name="pass" /><br />
<input type="hidden" name="back" value="{BACK}" />
<input type="submit" />

<?
//если присутсвует заголовок реферера, то есть страница не загружена с
//чистого листа
if(isset($_SERVER['HTTP_REFERER'])){
//если реферер с нашего сайта
if(eregi("^http://$_SERVER[SERVER_NAME]*",$_SERVER['HTTP_REFERER'])){
//ссылкой назад будет $_SERVER['HTTP_REFERER']
$back = $_SERVER['HTTP_REFERER'];
} else {//В противном случае, ссылкой будет главная страница сайта
$back = "http://".$_SERVER['SERVER_NAME'];
}
} else {//Если реферера нет и страница загружена с чистого листа
//ссылкой будет главная страница сайта
$back = "http://".$_SERVER['SERVER_NAME'];
}
echo $back;
?>