var requestXML


function counter(increment) { 
	document.getElementById("counter").innerHTML="Loading counter..." 
	var url = "CGI/counter.cgi"
	//var url = "python/counter.cgi"
	url += "?increment="+increment
	requestXML=GetXmlHttpObject(counterChanged)
	if (requestXML) {
		requestXML.open("GET", url , true)
		requestXML.send(null)
	}
} 


function counterChanged() {
	if (requestXML.readyState==4 || requestXML.readyState=="complete") {
		var output = "Times visited: "
		output += requestXML.responseText 
		document.getElementById("counter").innerHTML=output 
	}
}