function rauf(BoxID) {
	document.getElementById(BoxID).style.background="#cccccc";
	document.getElementById(BoxID).style.cursor="pointer";
}
function raus(BoxID) {
	document.getElementById(BoxID).style.background="#eee";
	document.getElementById(BoxID).style.cursor="auto";
}
function klick(LinkID) {
	location.href="index.php?id="+LinkID;
}