function load_url(url) {
    document.location.href=url;
}