Mine

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;}