ENDOLA; $url = $_SERVER['PHP_SELF']; if (isset($_GET['dest'])) { $url .= '?dest=' . urlencode($_GET['dest']); } print <<



ENDOLA; # Generic XHTML 1.1 footer print << ENDOLA; ?>