<!-- hide script from old browsers

document.write("<div class=subheader>")
document.write("<a href='about.html'>about</a>")
document.write("<br><a href='calendar.html'>calendar</a>")
document.write("<br><a href='contact.html'>contact</a>")
document.write("<br><a href='index.html'>home</a>")
document.write("<br><a href='instruments.html'>instruments</a>")
document.write("<br><a href='links.html'>links</a>")
document.write("<br><a href='photos.html'>photos</a>")
document.write("<br><a href='programs.html'>programs</a>")
document.write("<br><a href='recordings.html'>recordings</a>")
document.write("<br><a href='reviews.html'>reviews</a>")
document.write("</div>")

// end hiding script from old browsers -->
