function abbrechen() {
   http.abort();
   document.getElementById("Ausgabe").innerHTML =
	  "Die Anfrage dauerte zu lange.";
}

function pushbutton() {
	alert("Here is where you write what you want it to say");
}