/** Select (Highlight) Top Menu. */
function menu(primary)
{
	if(primary == '') return;

	primary_id = 'nav_'+primary; //top menu
	primary_elem = document.getElementById(primary_id)

	if(primary_elem) {
		primary_elem.className = 'selected';
	}
}