<?php include("header.php") ?>
<?php

if (@($_REQUEST['p'])) {
	$p = preg_replace("/\W/", "", $_REQUEST['p']);
}

$d = opendir("pages");
$pagecount = 0;
$thispage = -1;

while ($f = readdir($d)) {
	if (substr($f, 0, 1) == ".") {
		continue;
	}
	list($num, $name) = split("_", $f);
	$pages[$pagecount++] = $f;
	$i[$num] = $name;
}

ksort($i);


$c = 0;
foreach ($pages as $something) {
  if ($pages[$c++] == $p) {
  	$thispage = $c;
  }
}


if ($p) {
	include("pages/$p");
}


?>
<?php

$menu = "";
foreach ($i as $n=>$t) {
	$c++;
	$f = "${n}_$t";
	$d = $t;
	if ($p == $f) {
	  $d = "<strong>$t</strong>";
	}

	if ($n > 0) {
		$menu .= "<a href=\"?p=$f\"$f>$d</a> ";
	}
}

?>
<br /><br />
<hr noshade />
<p>toc:

<?php echo $menu ?>

</p>

<?php include("footer.php") ?><br />