function gotoUrl(url) { 
  if (url != "") { location=url }
}