function goto(url) {
  if(url!="") {
    location.href = url;
  }
}