/*
En realidad el código no era exactamente así, pero para abreviar y pensando que no daría error lo puse de esa manera. Código original:
*/
var ajax = function(){
    var xhr = false;
    if (window.XMLHttpRequest) { // Chrome, FF, Safari,...
     (xhr = new XMLHttpRequest()).overrideMimeType && xhr.overrideMimeType('text/xml');
    } else if (window.ActiveXObject) { // IE
     try {
      xhr = new ActiveXObject("Msxml2.XMLHTTP");
     } catch (e) {
      try {
       xhr = new ActiveXObject("Microsoft.XMLHTTP");
      } catch (e) {}
     }
    }
    return xhr;
};

var xhr = ajax();
xhr.open('POST', 'process.php', false);