document.write('        <table class="sectionmenu">');
document.write('          <tr><td><a href="index.htm" class=sectionentry>Home</a></td></tr>');
document.write('          <tr><td><a href="Search.htm" class=sectionentry>Search</a></td></tr>');
document.write('          <tr><td><a href="Downloads.html" class=sectionentry>Downloads</a></td></tr>');
//document.write('          <tr><td><a href="general/history1.htm" class=sectionentry>General</a></td></tr>');
//document.write('          <tr><td><a href="access/security.html" class=sectionentry>Access</a></td></tr>');
//document.write('          <tr><td><a href="WestPack/overview.html" class=sectionentry>WestPack</a></td></tr>');
//document.write('          <tr><td><a href="facilities/port.htm" class=sectionentry>Port Facilities</a></td></tr>');
//document.write('          <tr><td><a href="marine/pilotage.htm" class=sectionentry>Operations</a></td></tr>');
//document.write('          <tr><td><a href="facilities/blyde.htm" class=sectionentry>Containers</a></td></tr>');
//document.write('          <tr><td><a href="contacts/contacts.htm" class=sectionentry>Contacts</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';
}