Yea but why not like I suggest? For instance,
$nav_links["Here"] = "/here.php";
$nav_links["There"] = "/there.php";
.....
while(list($title,$url) = @each($nav_links)) {
if ($title == $page) {
// dowhatever you want to when they are on this page
} else {
echo "<a href=$url>$title</a>";
}
It's a little sloppy but you should get the idea....