// JavaScript Documentvar xmlhttp;var url;var str;var elem;var waiting;// Performs the AJAX operation, dependent on the url and str variables abovefunction request(method) {	if (window.XMLHttpRequest) {  		xmlhttp = new XMLHttpRequest(); 		xmlhttp.onreadystatechange = xmlhttpChange;		if (method == "get") { 			xmlhttp.open("GET",url,true);  			xmlhttp.send(null);		} else if (method == "post") {			xmlhttp.open("POST",url,true);			xmlhttp.setRequestHeader("Content-Type","application/x-www-form-urlencoded; charset=UTF-8");			xmlhttp.send(str);		}  	}		// code for IE	else if (window.ActiveXObject) {  		xmlhttp = new ActiveXObject("Microsoft.XMLHTTP");		if (xmlhttp) {    		xmlhttp.onreadystatechange = xmlhttpChange;   			if (method == "get") { 				xmlhttp.open("GET",url,true);  				xmlhttp.send();			} else if (method == "post") {				xmlhttp.open("POST",url,true);				xmlhttp.setRequestHeader("Content-Type","application/x-www-form-urlencoded; charset=UTF-8");				xmlhttp.send(str);			}    	} 	}}// Displays a loading/waiting message and then finally the output of the requestfunction xmlhttpChange() {	// if xmlhttp shows "loaded"	if (xmlhttp.readyState==4) { 		// if "OK"  		if (xmlhttp.status==200) {			document.getElementById(elem).innerHTML = xmlhttp.responseText;   		} else {    		document.getElementById(elem).innerHTML = "There was a problem in processing your submission";    	}  	} else if (xmlhttp.readyState==1) {		document.getElementById(elem).innerHTML = waiting;	}}function current_display(page) {	str = "page="+page;	url = "current.php?"+str;	elem = "feature";	waiting = "Loading next page...";	request("get");	document.getElementById('title').innerHTML = "Current";}function shows() {	str = "";	url = "shows.php";	elem = "feature";	waiting = "Loading shows...";	request("get");	document.getElementById('title').innerHTML = "Shows";}function who() {	str = "";	url = "who.php";	elem = "feature";	waiting = "Loading bio...";	request("get");	document.getElementById('title').innerHTML = "Who Are You?";}function contact() {	str = "";	url = "contact.php";	elem = "feature";	waiting = "Loading contacts...";	request("get");	document.getElementById('title').innerHTML = "Make Contact";}