     </table>
        </div>

      </div>
      <!-- /#container-fluid -->
    </div>
    <!-- /#page-content-wrapper -->

  </div>
  <!-- /#wrapper -->

  <!-- Javascript loading -->
  {% include 't_js_script.html' %}

  {% block scripts %}
  <script>
    function apply_filter(filter){ 
      if(filter=="executed") 
        document.getElementById("UserInput").value = "‚úÖ";
      if(filter=="native") 
        document.getElementById("UserInput").value = "native";
      if(filter=="boolean") 
        