function popup_window(url, name, feature)
    {
    var new_window = window.open(url, name, feature);
    new_window.focus();
    }