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