così non fa male agli occhi

Codice PHP:
 <?// L'INDIRIZZO DEL DESTINATARIO DELLA MAIL
$to = "alfonso717@alice.it";

// IL SOGGETTO DELLA MAIL
$subject = "Formazione";

// COSTRUIAMO IL CORPO DEL MESSAGGIO
$body .= trim(stripslashes($_POST["T22"])) . "\n\n";
$body .= "Formazione Titolare\n";
$body .= trim(stripslashes($_POST["x1"])) . "\n";
$body .= trim(stripslashes($_POST["x2"])) . "\n";
$body .= trim(stripslashes($_POST["x3"])) . "\n";
$body .= trim(stripslashes($_POST["x4"])) . "\n";
$body .= trim(stripslashes($_POST["x5"])) . "\n";
$body .= trim(stripslashes($_POST["x6"])) . "\n";
$body .= trim(stripslashes($_POST["x7"])) . "\n";
$body .= trim(stripslashes($_POST["x8"])) . "\n";
$body .= trim(stripslashes($_POST["x9"])) . "\n";
$body .= trim(stripslashes($_POST["x10"])) . "\n";
$body .= trim(stripslashes($_POST["x11"])) . "\n\n";
$body .= "Formazione Riserve\n";
$body .= trim(stripslashes($_POST["x12"])) . "\n";
$body .= trim(stripslashes($_POST["x13"])) . "\n";
$body .= trim(stripslashes($_POST["x14"])) . "\n";
$body .= trim(stripslashes($_POST["x15"])) . "\n";
$body .= trim(stripslashes($_POST["x16"])) . "\n";
$body .= trim(stripslashes($_POST["x17"])) . "\n";
$body .= trim(stripslashes($_POST["x18"])) . "\n";

// INTESTAZIONI SUPPLEMENTARI
$headers = "From: Formazione";

// INVIO DELLA MAIL
if(@mail($to, $subject, $body, $headers)){
} else{
echo "Si è verificato un errore durante l'invio. Riprovare o Contatta Al Sith.";
}
?>

cmq venendo a noi, t compare il messaggio di errore di else oppure non arriva la mail?