'; echo $header_content; echo '

'; echo '

	MENU
	'; echo " \n";