function dotitle() {
doctitle = parent.frames["haupt"].document.title
top.document.title = doctitle +' -';
 }