Codice PHP:
mail("$destinatario", "$oggetto_email", "$corpo", "$headmail");

                $nomePagina = $pagina_grazie;

                                } else {

                $nomePagina = $pagina_error_email;

                        }

                    } else {

                    
                $nomePagina =  $pagina_error_empty;

                    }

?>
<script type="text/javascript">
<!--
window.open('<?php echo $nomePagina?>');
//-->
</script>
<?php