function gotoPage(s) {
    if (s != '') location.href = s;
    return 1;
}