document.write('<p class="menuheader">Menu</p>')
document.write('<p class="menu"><a href="index.htm">Main page</a>')
document.write('<br>            <a href="history.htm">Brief History</a>')
document.write('<br>            <a href="achievements.htm">Achievements</a>')
document.write('<br>            <a href="contacts.htm">Contact Info</a>')
document.write('<br>            <a href="groupphoto.htm">Pictures</a>')
document.write('</p>')