A copy of the JavaScript functions:

// sample-2-button-examples-functions.js


// onclick event handler
function clicked(next_page)
  {
  window.location = next_page;
  }