extract( $_REQUEST ); require_once("inc_menudefinition.php"); if (!$pageid) $pageid=0; $pageinfo=$pages[$pageid]; ?>