function redirect(url) {
   window.location= url;
}