document.write('<div class="top-menu">')
document.write('<li style="margin-right: 50px;"><a href="main_e.htm" title="Back to main page">Main page</a></li>')
document.write('<li><a href="main.htm" title="Deutsche Version dieser Seite">German</a></li> ')
document.write('<li class="selected"><a href="main_e.htm" title="Switch to english version of this site.">English</a></li>')
document.write('</div>')