error_reporting(E_ALL); $page = $_GET["p"]; if($page == null) $page = "home"; $pages = array("Home", "Demos", "Projects", "Documentation", "Discussion", "Download"); $pshort = array("home", "demos", "projects", "documentation", "discussion", "download"); $plen = count($pages); ?>