<div class="menu top-menu">
	<h2><a href="/"><?php echo($GLOBALS["site_name"]); ?></a>
		<img id="duck" src="/res/img/war_duck.png"></h2>
	<ul>
		<li><a href="/coin.php">file-beamer</a></li>
		<li><a href="/mask.php">url-shortener</a></li>
	</ul>
</div>