function writeJS(){
var str='';
str+='<div id="section-menu">';
str+='<ul>';
str+='<li><a href="libraryandresearch.html" class="section-menu">Library & Research<\/a><\/li>';
str+='<li><a href="childrenandfamilies.html" class="section-menu">Kids & Family<\/a><\/li>';
str+='<li><a href="schools.html" class="section-menu">School Programs<\/a><\/li>';
str+='<li><a href="history-online.html" class="section-menu">History Online<\/a><\/li>';
str+='<\/ul>';
str+='<\/div>  <!-- \/section-menu -->';
str+='<div class="clear-both"><!-- clear floats --><\/div>';
document.write(str);
}
writeJS();