text: function display_spinner(text) {
      /**
       * Display a loading warning.
       */
      $("#please-wait-text").text(text)
      $("#please-wait").show()
  }
  
  function hide_spinner() {
      /**
       * Display a loading warning.
       */
      $("#please-wait").hide()
  }
  