// g_current_btn holds value of current radio button that is checked
var g_current_btn = "ele";
var g_current_design = "d1"; 
function MM_jumpMenu()
{ //begin funtion 
//get design name
var design_name="";
for (var i=0;i<document.form1.design.length;i++)
    if(document.form1.design[i].selected) design_name =document.form1.design[i].value;
//alert("design name is: "+design_name);
//get radio button
var btn_value;
for (var j=0;j<document.form1.radiobutton.length;j++)
 if(document.form1.radiobutton[j].checked) btn_value=document.form1.radiobutton[j].value;
 g_current_btn=btn_value;
//alert("button valeu is: "+btn_value);
//get file_name
var file_name="";
var file_ext=".htm";
file_name=design_name+btn_value+file_ext;
//check file name
//alert("file name is: "+file_name);
window.open(file_name,"Display_Frame");
if(design_name==g_current_design) return;
  else
{
 g_current_design=design_name;
 window.open("Info"+design_name+file_ext,"Info_Frame");
}

} //end function