<div id="menu">
		<ul>
			<li><a href="index.php" title="Home page">Home</a></li>
			<li><a href="account.php" title="Account information">Account</a></li>
			<li><a href="books.php" title="My books">My Books</a></li>
			<?php if ($_SESSION['admin']==0) echo '<li><a href="book_list.php" title="List of all books">List</a></li>'; ?>
			<li><a href="search.php" title="Search function">Search</a></li>
			<?php if ($_SESSION['admin']==1) echo '<li><a href="management.php" title="Management of books and accounts"><div id="yellow">Management</div></a></li>'; ?>
			<li><a href="about.php" title="About this application">About</a></li>
		</ul>
</div>