Stuff

<?php
function navigation()

{
	navigation();

	echo	"
		<div class='nav'>
		"
	;
	echo	"
		<div id='tab_blue'>
		<p class='tab-format'>
		<a class='top' href='index.html'>
		Home
		</a>
		</p>
		</div>
		"
	;
	echo	"
		<div id='tab_yellow'>
		<p class='tab-format'>
		<a class='top' href='forums.html'>
		Forums
		</a>
		</p>
		</div>
		"
	;
	echo	"

		<div id='tab_green'>
		<p class='tab-format'>
		<a class='top'href='fluxbox.html'>
		Fluxbox
		</a>
		</p>
		</div>
		"
	;
	echo	"

		<div id='tab_silver'>
		<p class='tab-format'>
		<a class='top' href='other.html'>
		Other
		</a>
		</p>
		</div>
		"
	;
}