if (isset($_GET['page']) && file_exists($_GET['page']) && $_GET['page'] != '') { $mainpage = $_GET['page']; } else { $mainpage = "main.htm"; } ?>