function suona(file) { document.getElementById("sonoro").innerHTML=""; }