<p>
<h1>About Us</h1>
<hr>
<center>
    <?php
        function highlightIfCurrent($a, $b) {
            if ($_SERVER["PHP_SELF"]=="/$a" || $_SERVER["PHP_SELF"]=="/$a.php")
                echo "[ <a href=\"/$a\"><b>$b</b></a> ]";
            else
                echo "[ <a href=\"/$a\">$b</a> ]";
        }
        highlightIfCurrent("company", "Company");
        highlightIfCurrent("management", "Management");
        highlightIfCurrent("board", "Board");
        highlightIfCurrent("investors", "Investors");
        highlightIfCurrent("partners", "Partners");
        highlightIfCurrent("standards", "Standards");
    ?>
</center>
<hr>