document.write("\<p\>\<small\>\<strong\>Mandolin\</strong\>\<br /\>       \<a href=\"../mando.html\"\>Mandolin\</a\> \| \<a href=\"hist.html\"\>Mandolin History\</a\> \| \<a href=\"tutor.html\"\>Repertoire &amp; Technique\</a\> \| \<a href=\"libui.html\"\>Builders &amp; Retailers\</a\> \</small\>\</p\>");