/*function ingrandisci(x){
	switch(x){
		case 1:
			document.getElementById("vuoto").innerHTML="<img src=\"immagini/FGZoom.png\" alt=\"FoggiaZoom\" class=\"cartina\" />";
			break;
	}
}
*/
function sopra(){
	document.getElementById("vuoto").innerHTML="ciao";
}