function PrintHeader( title ) {

  document.write('\
    <table border="0" width="100%" id="table1" height="77" cellspacing="0" cellpadding="0">\
     <tr> <td>&nbsp;</td>\
     </tr>\
    <tr>\
      <td width="85%" valign="bottom" height="74"><b>\
        <font size="5" color="#FF6633">'+title+'</font></b>\
      </td>\
      <td rowspan="2" width="71" align="center">\
      <A href="http://www.zib.de" target="new"> <img border="0" src="http://www2.zib.de/Bilder/ziblogo_neu.gif" width="72" height="111"></A>\
      </td>\
      <td>&nbsp;</td>\
    </tr>\
    <tr>\
      <td width="85%" height="37" valign="top"><hr color="#000099" size="5">\
      </td>\
      <td height="37" valign="top"><hr color="#000099" size="5">\
      </td>\
    </tr>\
    </table>');

}