<!--
// AJAX for thanks

var xmlHttp;

function GetXmlHttpObject(handler){
	var objXMLHttp=null
	if (window.XMLHttpRequest){
		objXMLHttp=new XMLHttpRequest()
	} else if (window.ActiveXObject){
		objXMLHttp=new ActiveXObject("Microsoft.XMLHTTP")
	}
	return objXMLHttp;
}

function thanks(no){
	var url = './thanks.php?m=thx&no='+ no +'&' + (new Date()).getTime();
	xmlHttp = GetXmlHttpObject();
	xmlHttp.onreadystatechange = stateChanged;
	xmlHttp.open("GET",url,true);
	xmlHttp.send(null);
}

function stateChanged(){
		if (xmlHttp.readyState == 4 || xmlHttp.readyState == "complete"){
			// Change displaying
			document.getElementById('thankslist').innerHTML = xmlHttp.responseText;
		}
	}
//-->