function turnToUrl(url){
      
       var addr=top.document.URL;
       
       m=addr.lastIndexOf('portal') ;

       addr=addr.substring(0,m+6)+url;
     
       top.location=addr;
}
function turnToUrlbyNum(num){
	var addr=top.location.href;       
	
	if(addr.indexOf("num=")!=-1){
		var temp = addr.substr(addr.indexOf("num="));
		strStart = addr.substring(0,addr.indexOf("num=")+4);
		addr = strStart + num;
		if(temp.indexOf("&")!=-1) 
			addr = addr + temp.substr(temp.indexOf("&")); 	  
	}
	else{
		if(addr.indexOf("?")!=-1) addr=addr+"&num="+num;
		else addr=addr+"?num="+num;
	}
	top.location=addr;
}