function call_url(url) { window.open(url);}