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