document.getElementById("UserInput").value = "boolean";
      if(filter=="clear")
        document.getElementById("UserInput").value = "";
      
      //simulate keyup
      $('#UserInput').keyup();
    }
  </script>

  <!-- Set current Page as active in the NavBar -->
  <script>
    $(document).ready(function () {
      $(".nav li").removeClass("active");
      $('#dump').addClass('active');
    });
    </script>
  <!-- Set current Page as active in the NavBar -->

  {% endblock %}  

</body>

</html>
