"archief.php"); $menu_choice = "archief"; $p_titel = "Archives"; $p_noline = "_noline"; // --------------------------------- // --------------------------------- $show_page = "archief"; require_once("inc/do_login_check.php"); if (isset($login_prompt)) { if ($login_prompt == true) { $show_page = "login"; } } // --------------------------------- ?>