<?
	$url = $_SERVER['PHP_SELF'];
	
	if (ereg('^/hm/(.*)$', $url, $regs)) {
		$newurl = 'www.hattrickmanager.org/' . $regs[1];
	} else {
		$newurl = 'www.hattrickmanager.org';
	}

	// append query string
	if ($_SERVER['QUERY_STRING'] <> '') {
		$newurl .= '?'.$_SERVER['QUERY_STRING'];
	}

	header("Location: http://$newurl");
?>