document.write('<table class=sectionmenu>');
document.write('	<tr><td><a href=\'/Access/security.html\' class=sectionentry>Security</a></td></tr>');
document.write('	<tr><td><a href=\'/Access/visitors.html\' class=sectionentry>Visitors</a></td></tr>');
document.write('	<tr><td><a href=\'/Access/vehicles.html\' class=sectionentry>Vehicles</a></td></tr>');
document.write('	<tr><td><a href=\'/Access/ships.html\' class=sectionentry>Ships and Crew</a></td></tr>');
document.write('	<tr><td><a href=\'/Access/fishingvessels.html\' class=sectionentry>Fishing Vessels</a></td></tr>');
document.write('	<tr><td><a href=\'/Access/contact.html\' class=sectionentry>Contact</a></td></tr>');
document.write('</table>');

var i;
for (i = 0; i<document.links.length; i++)
{
	if ((document.links[i].href.toLowerCase() == document.URL.toLowerCase())
	&& (document.links[i].className == 'sectionentry'))
		document.links[i].className = 'currentsectionentry';
}