// JavaScript Document

<!--
document.write("<a href='index.html'>Home</a> &#124; <a href='facilities.htm'>Facilities</a> &#124; <a href='schedule.htm'>Schedule</a> &#124; <a href='maps.htm'>Maps</a> &#124; <a href='about.htm'>About Us</a> &#124; <a href='album.htm'>Photo Album</a> &#124; <a href='contribute.htm'>Contributions</a> &#124; <a href='contact.htm'>Contact Us</a>")
//-->