function href(url) {
  location.href=url;
  return false;
}