<!--

function jump(){ 
   var flag =  0;
   for(i=0; i<document.form1.url.length; i++){ 
       if(document.form1.url[i].checked){ 
	       flag = 1; 
           window.top.location.href = document.form1.url[i].value; 
       } 
   }  
}

//-->