<!-- z3950_search.inc -->
<script>
    var interface = "[% interface | html %]";
    var theme = "[% theme | html %]";
    var total_pages = new Number("[% total_pages | html %]");
</script>
<!-- / z3950_search.inc -->
