function verificar_user( cadena ) {
    /*
        Esta funcion solo ejecuta jsrsExecute con los siguientes parametros:
        1: Fichero [url] del .php que ofrece el servicio
        2: nombre de la funcion que recibirá el resultado ... recibe siempre un parámetro
        3: nombre de la funcion a ejecutar en el servidor
        4: parametros a enviar al servidor ... en este una cadena ... 
    
    */
    jsrsExecute("procesos.php", grabar_fichero_resultado, "verificar_user",  cadena  );
}
function grabar_fichero_resultado( cadena ) {
	if(cadena !="")
    {alert( cadena )
	document.MM_returnValue = (cadena == '');
	;}

}