function playMusic(file) 
{
	if(document.getElementById("music").innerHTML=="")
	{
		document.getElementById("music").innerHTML='<embed src="'+file+'" hidden="true" autostart="true" loop="false">';
		document.getElementById("playstop").value="Stop";
	}
	else 
	{
		document.getElementById("music").innerHTML ="";
		document.getElementById("playstop").value="Ascolta";
	}
}