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