function open_url(url) {
    if (window.opener == null) {
        window.location = url;
    } else {
        window.opener.location = url;
        window.opener.focus();
    }
}