No estas enviando correctamente los datos al servidor. Pretendes enviarlos mediante el método POST y luego los concatenas en la URL (como si utilizaras el método GET). Además intentas enviar el valor de los datos sin identificarlos para que en php puedes recogerlos mediantes $_POST
Yo lo haría asi:
Código:
ajax = nuevoAjax();
var nombre=document.getElementById("nombre");
var correo=document.getElementById("correo");
var mensa=document.getElementById("mensa");
var query = "nombre=" + nombre + "&correo=" + correo
+ "&mensa=" + mensa;
ajax.open("POST", "./ajax/ajax_ficha.php", true);
ajax.onreadystatechange=function()
{
if (ajax.readyState==1)
{
//Mientras carga se muestra "Cargando"
cambio_capa(procesando);
}
if (ajax.readyState==4)
{ alert("VUELVE");
cambio_capa(enviado);
}
}
ajax.setRequestHeader("Content-Type","application/x-www-form-urlencoded");
ajax.send(query);