function writeJS(){
var str='';
str+='<div id="section-menu">';
str+='<ul>';
str+='<li><a href="calendarofevents.html" class="section-menu">Calendar<\/a><\/li>';
str+='<li><a href="pressreleases.html" class="section-menu">News<\/a><\/li>';
str+='<li><a href="http:\/\/www.penobscotmarinemuseum.org\/press%20releases\/BayChronicle_Summer2008_proof4.pdf" class="section-menu">Newsletter (PDF)<\/a><\/li>';
str+='<\/ul>';
str+='<\/div>  <!-- \/section-menu -->';
str+='<div class="clear-both"><!-- clear floats --><\/div>';
document.write(str);
}
writeJS();