<?
	if(strtolower(substr($_SERVER['HTTP_HOST'],0,4))=='raum') {
		header ('Location: http://elearning.uke.uni-hamburg.de/raumplan/day.php');
	} else {
		if ($_GET) {
			if (($s=key($_GET))>1) header ('Location: http://elearning.uke.uni-hamburg.de/m/course/view.php?id='.($s+0));
			else header ('Location: http://elearning.uke.uni-hamburg.de/m/course/search.php?search='.$s);
		} else header ('Location: http://elearning.uke.uni-hamburg.de/m/');
	}
?>