function url(uri) {
location.href = uri;  }