function doppelwechsel (dok1,fr1,dok2,fr2) {parent.frames[fr1].location.href=dok1;
parent.frames[fr2].location.href=dok2;}