function farbmuster_laden(tmp_PG) {
var http = null;
if (window.XMLHttpRequest) {
http = new XMLHttpRequest();
} else if (window.ActiveXObject) {
http = new ActiveXObject("Microsoft.XMLHTTP");
}
if (http != null) {
http.open("GET", "images/farbmuster/farben_" + tmp_PG + ".html", true);
http.onreadystatechange = ausgeben;
http.send(null);
}

function ausgeben() {
if (http.readyState == 4) {
document.getElementById("optionen_name").innerHTML =
http.responseText;
}
}
}