Scusa, ma $nome, $mail e $messaggio dove vengono valorizzati?

Parli di un form, ma nello script non c'è alcun riferimento al recupero dei dati via POST o GET