function bildOver(uid) {
	document.getElementById(uid).src = "../html/img/nav/"+uid+".jpg";
}
function bildOut(uid) {
	document.getElementById(uid).src = "../html/img/nav/x.gif";
}