Mine

<?php        $pages = array('index', 'news', 'hosted', 'links');        $i = 0;        while($i < count($pages)) {                $self = basename($_SERVER['PHP_SELF'], '.php');                $page = $pages["$i"];                if ($page == $self) {                        echo "$page ";                }                else {                        echo "<a href=\"$page.php\">$page</a> ";                }                $i++;        }        echo "\n";?>