function jump (page) {
                  window.location = page;
         }