function frameCheck() {
	return; // there seems to be a bug
}

function frameLoad() {
	return; // there seems to be a bug
}

function menuSelect( selectedMenu ) {
	var MENU_ENTRIES = 9;
	var menuName = new Array( "start", "behandlung", "sonder", "sprechzeiten",
	                          "anfahrt", "vortraege", "literatur",
														"links", "kontakt" );
	var i;

	for( i = 0; i < MENU_ENTRIES; i++ ) {
		if( selectedMenu == menuName[i] )
			parent.menu.document.images[i+1].src = "img/menu_" + menuName[i] + "_on.gif";
		else
			parent.menu.document.images[i+1].src = "img/menu_" + menuName[i] + "_off.gif";
	}
}