Ciao " . $nome . ""; } stampa_nome($nome); ?>