function open_window(name, url, left, top, width, height, toolbar, menubar, statusbar, scrollbar, resizable)
{
toolbar_str = toolbar ? 'yes' : 'no';
menubar_str = menubar ? 'yes' : 'no';
statusbar_str = statusbar ? 'yes' : 'no';
scrollbar_str = scrollbar ? 'yes' : 'no';
resizable_str = resizable ? 'yes' : 'no';
window.open(url, name, 'left='+left+',top='+top+',width='+width+',height='+height+',toolbar='+toolbar_str+',menubar='+menubar_str+',status='+statusbar_str+',scrollbars='+scrollbar_str+',resizable='+resizable_str);
}
function neulad(seite)
{
var seite=window.location.pathname;
if (parent.location.href == self.location.href)
document.open();
document.write('');
document.write('');
document.write('');
document.write('');
document.write('Neu');
document.write('');
document.write('');
document.write('');
document.write('');
document.close();
}
function aswrite(bann,zeig)
{
document.open();
document.write('');
document.write('');
document.write('');
document.write('');
document.write('');
document.write('');
document.close();
}
function drueber(bildname){
bildname.src = "pfeil.gif"
}
function raus(bildname){
bildname.src = "leer.gif";
}
function frwechs(Ziel1,F1,Ziel2,F2)
{
parent.frames[F1].location.href=Ziel1;
parent.frames[F2].location.href=Ziel2;
}
function wechsel(quelle,ziel) //Bildertausch
{
window.document.images[ziel].src=quelle;
}