document.write('    <div align="right"> ');
  document.write("             <a href='javascript:history.back()'><img border='0' src='../bilder/win_2_links.gif' alt='Zurück zur vorigen Seite!'></a>&nbsp; ");
  document.write("             <a href='#'><img border='0' src='../bilder/win_2_hoch.gif' alt='Zum Seitenanfang!'></a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;   ");
  document.write('    </div>   ');
  document.write('    <br>   ');