window.onload = function() {
    play("error");
};

function play(audio) {
    var audio = document.getElementById(audio);
    audio.play();
};

async function ok_button(href) {
    play("click");
    window.location.href = href;
};