            <!-- SwishCommand noindex -->
	    <hr>
	    <div class="HeaderFooter">
		<table class="ButtonTable">
		    <tr>
			<td>
			    <a href="index.html">
				<img class="HomeButton" src="images/home.gif" alt="Home" style="border-style: none"/>
			    </a>
			</td>
		    </tr>
		</table>
                <div style="text-align: center;">
                    <table class="SearchTable">
                        <tr>
                            <td>
                                <form method="get" action="/cgi-bin/swish.cgi"
                                      enctype="application/x-www-form-urlencoded" class="form">
                                    <div>
                                        <input maxlength="100" value="" type="text" name="query">
                                        <input type="submit" value="Search" name="submit">
                                    </div>
                                </form>
                            </td>
                        </tr>
                    </table>
                </div>
		<table class="LogoTable">
		    <tr>
			<td>
			    <a href="http://www.zeroc.com"><img class="Logo" src="images/logo.gif" alt="Logo"/></a>
			</td>
		    </tr>
		</table>
	    </div>
	    <script type="text/javascript" src="symboltree.js">
		symboltree.main();
	    </script>
        </div>
    </body>
