function link($getvar, $var, $name) {
	if(is_int($var)) {
		$type = "pid";
	} else {
		$type = "lang";
	}
	
	if($getvar == $var) {
		echo "<a href=\"{$_SERVER['REQUEST_URI']}?$type=$var\">$name</a>";
	} else {
		echo "<u>$name</u>";
	}
	echo "&nbsp;&nbsp;&nbsp;";
}