document.addEventListener("DOMContentLoaded", function(event) {
    // HaRP
    let harp = document.getElementById("harp");
    if (harp) {
        harp.disabled = true;
    }
});