function play_again(){
    let player = document.getElementById('player');
    player.load();
    player.src = PLAYURL;
}