codice:
echo "ciao";