function change_location(url) {
   
      /*window.open(url); */
	  window.location = url;
	  
   
   }