<!DOCTYPE html>
<html>
{% include 'header.html' %}
<body>
{% include 'banner.html' %}
{% include 'menu.html' %}
{% include 'search.html' %}
<p>The Virtuoso database contains <span id="CounterDB"></span> public sequences!</p>
{% include 'demo-run.html' %}
{% include 'footer.html' %}
<script type="text/javascript">
let scriptRoot = {{ request.script_root|tojson|safe }}; // examples
document.addEventListener("DOMContentLoaded", function(){
var count = fetch("/api/getCountDB")
.then((resp) => resp.json())
.then(function (data) {
count = data["sequences"];
console.log(count);
span = document.getElementById("CounterDB");
txt = document.createTextNode(count);
span.appendChild(txt);
});
});
</script>
</body>
</html>