<!-- hide script from old browsers

document.write("<div class=subheader>")
document.write("<br><a href='latest.html'>UPCOMING PRODUCTIONS</a>")
document.write("<br><a href='about.html'>about us</a>")
document.write("<br><a href='audition.html'>auditions</a>")
document.write("<br><a href='tickets.html'>buy tickets</a>")
document.write("<br><a href='calendar.html'>calendar</a>")
document.write("<br><a href='mos/index.html'>cast and volunteers' page</a>")
document.write("<br><a href='contact.html'>contact us</a>")
document.write("<br><a href='directions.html'>directions</a>")
document.write("<br><a href='donate.html'>donate</a>")
document.write("<br><a href='index.html'>home</a>")
document.write("<br><a href='links.html'>links</a>")
document.write("<br><a href='emailsub.html'>mailing list</a>")
document.write("<br><a href='pictures.html'>photographs</a>")
document.write("<br><a href='reviews.html'>reviews</a>")
document.write("<br><a href='search.html'>search</a>")
document.write("</div>")

// end hiding script from old browsers -->
