10) array_shift ($_SESSION['page_history']); $this_page_index = last_history_index (); if ($this_page === $_SESSION['page_history'][$this_page_index - 2]) unset ($_SESSION['page_history'][$this_page_index], $_SESSION['page_history'][$this_page_index - 1]); $referer = $_SESSION['page_history'][last_history_index () - 1]; ?>