function rendermenu() {
	global curlocation;
	$rendered_menu = '
		<div id="navitabs">
		<h2 class="hide">Site menu:</h2>
		';
	if ($curlocation == 'home') {
	$rendered_menu .= '<a class="activenavitab" href="index.html">Welcome</a><span class="hide"> | </span>';
	}
	else {
	$rendered_menu .= '<a class="navitab" href="index.html">Welcome!</a><span class="hide"> | </span>';
	}
	$rendered_menu .= '
		{... all other menu options...}
		</div>
	';
	return $rendered_menu;
}