$page_value) { if (is_array($page_key)) { if (isset($_pages[$page_key])) $display_page = $page_key; } else { if (isset($_pages[$page_value])) $display_page = $page_value; } if (isset($display_page)) { header('Location: index.php?p='.htmlentities($page_key)); exit; } } } ?>