function gotoURL(url) { document.location = url; }