function redirect() {
  href = window.location.href;
  if (href.indexOf("js") < 0)
    if (href.indexOf("?") > -1 )
      window.location.href = href + "&js";
    else
      window.location.href = href + "?js";
}