var menu =
'<HR SIZE="1">'+
'<FONT SIZE="-1">'+
'    [ <A HREF="/tour.02/logbuch">Törnliste</A>'+
'    | <A HREF="/segeln">Segelinformationen</A>'+
'    | <A HREF="/kontakt">Faule Backschaft</A>'+
'    | <A HREF="..">zurück</></A>'+
'    ]'+
'</FONT>'+
'<HR SIZE="1">'+
'';

document.write(menu);