/* Clear searchbox-input field */
function clear_text() {
    var search_input = document.getElementById("zoekbox_trefwoord");
    if (search_input.value == 'Zoeken...') {
        search_input.value = "";
    }
}