<hr>
<p class="menu">
<?php
// year selection menu
echo " | ";
for ($i = $current_year; $i > 1992 ; $i--)
{
	if ($i != $display_year)
	{
		echo "<a href='dpsall.htm?year=$i'>$i</a> | ";
	}
	else
	{
		echo "<strong>$i</strong> | ";
	}
}
?>
</p>
<hr>