window.onload = initAll;


// XMLHttpRequest object:

var xhr = false;





function outputString( string )
{
 document.getElementById("updateArea").innerHTML = string;
}


function initAll() 	
// this is run when window loads
// sets up event handlers  
{
	document.getElementById("x2").onclick = runScript;
}

 


function runScript() 	 
{

var l = document.theform.lambda.value;
var x	= document.theform.startingvalue.value;

var urlstring = "/cgi-bin/humphrys/chaos/chaos-script-min?lambda="+l+"&startingvalue="+x;

//	outputString ( urlstring );
	makeRequest(urlstring);		 
	return false;			 
}






function makeRequest(url) 
{
	if (window.XMLHttpRequest) 	 
	{
		xhr = new XMLHttpRequest();
	}

	if (xhr) 
	{
		xhr.onreadystatechange = showContents;			// this fn is called when xhr is ready

		//	outputString ( url );

		xhr.open("GET", url, true);					// GET url on the same server as this

		// no caching:

		xhr.setRequestHeader("If-Modified-Since", "Sat, 1 Jan 2005 00:00:00 GMT");
		xhr.setRequestHeader( "Cache-Control", "no-cache" );
		xhr.setRequestHeader( "Cache-Control", "must-revalidate" );
		xhr.setRequestHeader( "Cache-Control", "no-store" );
		xhr.setRequestHeader( "Pragma", "no-cache" );
		xhr.setRequestHeader( "Expires", "0" );
	 
		xhr.send(null);
	}
	else 
	{
		outputString ( "Error: Browser does not support XMLHttpRequest" );
	}
}




function showContents() 
{
 if ( xhr.readyState == 4 ) 	// xhr finished
 {
  if ( xhr.status == 200 ) 	// HTTP code 200
  {												 
	 outputString ( xhr.responseText );
  }
  else 
   outputString ( "Error: Status " + xhr.status );
 }
}