function swapColor(id){
	var klasse = document.getElementById(id).className;
	var anfang = klasse.length - 5; //'_high'
	var ende = klasse.length -1;
	var high = klasse.substr(anfang,ende);
	//alert(high);
	if(high=="_high")
		document.getElementById(id).className=klasse.substr(0,anfang);
	else
		document.getElementById(id).className=klasse + "_high";
}