//jump menu from netscape
function gotoPage(url) {
        if (("" != url) && ("#" != url)) {
                location.href=url;
        } // if
} // gotoPage()
//end jump menu from netscape