function ingrandisci(quale){
	document.getElementById('ingrandita').src = quale ;
}


function ingrandisci_id(quale, id){
	document.getElementById('ingrandita-'+id).src = quale ;
}