function html_header_of_page (seiten_titel, name) {
 document.write ("<title>"+seiten_titel+"</title>"+
                 "<meta name=author content="+name+">"+
                 "<meta name=generator content=Ulli Meybohms HTML EDITOR>"+
                 "<meta http-equiv=Content-Language content=de>"+
                 "<meta http-equiv=&quot;content-type&quot; content=&quot;text/html;&quot; charset=ISO-8859-1>"+
                 "<meta http-equiv=&quot;Content-Script-Type&quot; content=&quot;text/javascript&quot;>"+
                 "<meta http-equiv=&quot;expires&quot; content=864000>");
}