No, nell'html non c'è PHP.
Il form usa Ajax e PHP.
Nella pagina HTML c'è questo:

(ma perchè il copia/incolla non mantiene il codice formattato con la giusta indentatura? nella mia pagina è tutto perfettamente ordinato)

codice HTML:
<script type="text/javascript">        function carica_ajax()        {        var xmlhttp;        if (window.XMLHttpRequest)          {// code for IE7+, Firefox, Chrome, Opera, Safari          xmlhttp=new XMLHttpRequest();          }        else          {// code for IE6, IE5          xmlhttp=new ActiveXObject("Microsoft.XMLHTTP");          }

        xmlhttp.onreadystatechange=function()          {            var caricamento="<img src='img/caricamento.gif' height='40px'>"            document.getElementById("myDiv").innerHTML=caricamento;                     if (xmlhttp.readyState==4 && xmlhttp.status==200)            {                           setTimeout(function(){document.getElementById("myDiv").innerHTML=xmlhttp.responseText;},2000);                        }          }
        var nome=document.getElementById("nome").value;        var email=document.getElementById("email").value;        var oggetto=document.getElementById("oggetto").value;        var messaggio=document.getElementById("messaggio").value;
        var parametri="mail.php"        parametri=parametri+"?nome="+nome+"&email="+email+"&oggetto="+oggetto+"&messaggio="+messaggio;
        xmlhttp.open("GET",parametri,true);        xmlhttp.send();        }    </script>


...e poi c'è il form:

codice HTML:
<form name="form1" method="post" action="#">                        
<div id="myDiv" style="text-align:center; font-size:16px; color:red; font-weight:bold;"></div>                            
<p>Nome e Cognome *<br /><input type="text" name="nome" value=""  id="nome" size="55" ></p>                            
<p>Tuo indirizzo email * <br /><input type="text" name="email" value=""  id="email" size="55" ></p>                            
<p>Oggetto * <br /><input type="text" name="oggetto" value=""  id="oggetto" size="55" ></p>                            
<p>Messaggio *<br /> <TEXTAREA name="messaggio" ROWS=10 COLS=56 id="messaggio"></TEXTAREA></p>                            
<p align="right"><input name="invia il messaggio" type="button" class="button" value="Invia" onclick="carica_ajax()"></p>                    
</form>