function change(file,location,tab,tdid) {

/* document.getElementById("tabmain1").innerHTML="<img src=\"images/miscellaneous/miscellaneous05.gif\" style=\"border:0\" alt=\"seite wird geladen\" />"; */

	with (new Ajax()) {
		url="tabbox/"+file+".php";
		params="tab="+tab;
		onSuccess=loadpage;
		onError=function(msg) {
			document.getElementById(location).innerHTML=msg;
		}
		doRequest();
	}

	function loadpage(txt,xml) {
		document.getElementById(location).innerHTML=txt;
		for (i=1; i<5; i++) {
			document.getElementById("tab"+i).style.backgroundColor="";
		}
		document.getElementById("tab"+tdid).style.backgroundColor="#FFFCDA";
	}

}