document.write('<style type="text/css" title="HomePageNavigationStyle" media="screen">#HomePageNavigationBar_3 #D_3,#HomePageNavigationBar_4 #D_4{text-decoration:none;font-weight:bold;}</style>');
document.write('<A id="D_3" href="http://homepage.mac.com/philipdavis/Menu3.html">Gatehouse</A>\n&nbsp;<A href="#" style="text-decoration:none">|</A>&nbsp;\n<A id="D_4" href="http://homepage.mac.com/philipdavis/FileSharing4.html">Castle databases</A>');