document.write('        <table class="sectionmenu">');
document.write('          <tr><td><a class=sectionentry href="/Marine/Tugs.htm">Tugs/Launches</a></td></tr>');
document.write('          <tr><td><a class=sectionentry href="/Marine/Pilotage.htm">Pilotage</a></td></tr>');
document.write('          <tr><td><a class=sectionentry href="/Marine/Utilities.htm">Utilities</a></td></tr>');
document.write('          <tr><td><a class=sectionentry href="/Port/Conditions.htm">Conditions of Business</a></td></tr>');
document.write('          <tr><td><a class=sectionentry href="/Port/Permits.html">Work Permits</a></td></tr>');
document.write('          <tr><td><a class=sectionentry href="/Port/ArrivalProcedures.htm">Arrival Procedures</a></td></tr>');
document.write('          <tr><td><a class=sectionentry href="/Port/Forecast.html">Shipping Forecast</a></td></tr>');
document.write('          <tr><td><a class=sectionentry href="/Port/History.html">Shipping Historical</a></td></tr>');
document.write('          <tr><td><a class=sectionentry href="/Port/Weather.htm">Sea Conditions</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';
}