// Navigation wechselt zwei Frames####################################################

function doppelt(url_1,ziel_1,url_2,ziel_2)
{
parent.frames[ziel_1].location.href=url_1;
parent.frames[ziel_2].location.href=url_2;
}


// Funktion für das Öffnen von Extra-Fenstern#########################################

function win_auf(url,breit,hoch,scroll)
{
var fenster = window.open(url, "", 'width='+breit+',height='+hoch+',scrollbars='+scroll);
}