function document_onLoad() {
benutzer.focus();
 }