/* bastoprestnav.js
writes Contents/Rest/Index navbar to top or bot of the page
*/
document.write("<table align=center cellspacing=0 cellpadding=0 border=0><TR><TD><table cellspacing=0 cellpadding=2 class=topnav1><TR><TD class=cnt><a href='front.htm' onClick='if(this.blur)this.blur()' class=nav>Contents</a></td><TD width=1 class=blk></td><TD class=rest><a href='rest.htm' onClick='if(this.blur)this.blur()' class=nav>Restoration</a></td><TD width=1 class=blk></td><TD class=indx><a href='subjindx.htm' onClick='if(this.blur)this.blur()' class=nav>Index</a></td></tr></table></td><TD width=20></td><TD><a href='search.htm' onClick='if(this.blur)this.blur()'><img src='searchgn.gif' width=64 height=32 align=left hspace=5 border=0 alt='search (1K)' /></td></tr></table> ");