function turnOnUrl(url){
      
       var addr=top.location.href;       
       m=addr.lastIndexOf('portal') ;
	   if(m!=-1)
       		addr=addr.substring(0,m+6);
       else addr="/wps/portal";
       
       addr=addr+url;
       
       window.open(addr);       

}