function no_follow(url) {
  document.location.href=url;
}