if (document.all && !window.opera && !window.XMLHttpRequest) {   window.location.href("ie.html");  }