function gnlaunch() {
    var base = document.f.action;
    var url0 = document.f.url.value;
    var url1 = url0.replace(/^http:\/\//i, '');
    var target = base + url1;
    document.location = target;
    return false;
}

function gnfocus() {
    document.f.url.focus();
}