grazie ho fatto come hai detto tu e funziona perfettamente!
Se ho ben capito questa riga

if(isset($_POST['MandaMail']))

dice "se il pulsante MandaMail è stato premuto allora esegui questo codice (cioè quello di scrivere su file).