var navText = '';
navText += '<table width="188" cellpadding="3" cellspacing="0" border="0">'
navText += '<tr><td><br/><img src="images/menu.gif" border="0"/></td></tr>'
navText += '<tr><td><img src="images/shim.gif" width="1" height="5" border="0"/></td></tr>'
navText += '<tr><td><a href="index.html" class="menu">Home</a></td></tr>'
navText += '<tr><td><a href="toc.html" class="menu">Site Index</a></td></tr>'
navText += '<tr><td><img src="images/shim.gif" width="1" height="5" border="0"/></td></tr>'
navText += '</table>'
document.write(navText);