//
// this one changes both iframes
//
function iframe_changer (top_frame_src, bottom_frame_src) {
	parent.frames['iframe_top'].location.href=top_frame_src;
	parent.frames['iframe_bottom'].location.href=bottom_frame_src;
}