if($select=='Option 1')
	{
		echo "Risultato della query selezionata:SELECT DISTINCT Nome FROM Sale WHERE Citta = 'Pisa'";
		echo "<hr>";
		$query = "SELECT DISTINCT Nome FROM Sale WHERE Citta = 'Pisa'";
		$result = mysqli_query($connect, $query)
			or die ("Errore nella query" . mysqli_error($connect));

		echo "<table>";
		echo "<tr>";
		echo "<th>"."Nome Sala"."</th>";
		echo "</tr>";
		while ($search = mysqli_fetch_array($result))
		{
			echo "<tr>";
			echo "<td> "."$search[Nome] "."</td>";
			echo "</tr>";
		}
		echo "</table>";
		// libero la memoria occupata dall'istruzione SELECT
		mysqli_free_result($result);
		mysqli_close($connect);
	}