View file style/themes/default/header.php
<?include_once 'style.php';if ($_SERVER['PHP_SELF']=='/index.php'){echo "<div class='footman'>\n";echo "<a href='$a'>$b </a>\n";print "$amp";echo "<a href='$wdl'>$wd </a>\n";echo "</div>\n";}?>
<?include_once 'style.php';if ($_SERVER['PHP_SELF']=='/index.php'){echo "<div class='footman'>\n";echo "<a href='$a'>$b </a>\n";print "$amp";echo "<a href='$wdl'>$wd </a>\n";echo "</div>\n";}?>