function gotoPage(page) {
// alert(page+location.search);
// input to this function is a page name eg mypage.htm
        if (location.search) {
          window.location.href=page+location.search;
          }
        else {
          window.location.href=page;
        }
}