!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"> html xmlns="http://www.w3.org/1999/xhtml"> head> meta http-equiv="Content-Type" content="text/html; charset=gb2312" /> title>无标题文档/title> /head> script language="javascript"> var xmlHttp;
function createXMLHttpRequest(){ if(window.ActiveXObject){ xmlHttp = new ActiveXObject("microsoft.XMLHTTP"); } else if(window.XMLHttpRequest){ xmlHttp = new XMLHttpRequest(); }
}
function sendRequest(){
createXMLHttpRequest();
var name = document.getElementById("name").value; url = "String_check.php?page="+name; xmlHttp.onreadystatechange = callback; xmlHttp.open('GET',url,true); xmlHttp.send(null); }