document.addEventListener("DOMContentLoaded", function(event) {
    // Fulltextsearch
    var fulltextsearch = document.getElementById("fulltextsearch");
    fulltextsearch.disabled = true;
});