document.write('        <table class=sectionmenu>');
document.write('          <tr><td><a href="colins.htm" class=sectionentry>News</a></td></tr>');
document.write('          <tr><td><a href="world.htm" class=sectionentry>Map</a></td></tr>');
document.write('          <tr><td><a href="nktt.htm" class=sectionentry>Colin\'s Home</a></td></tr>');
document.write('          <tr><td><a href="http://www.geocities.com/colinscat/" class=sectionentry>Other Sites</a></td></tr>');
document.write('        </table>');

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