Seja o seguinte trecho de código PHP:

$to = "joao@phpforum.com.br";
$subject = "Como enviar um e-mail em PHP?";
$body = "Qual funcao permite enviar um e-mail em PHP?";
$headers = "From: maria@phpforum.com.br \n";

Qual das opções a seguir contém um comando PHP que deve ser inserido ao final do código acima para que um e-mail seja enviado corretamente?