function nav1_sel(linkid) {
	// Highlight the linkset link for this page
	li = document.getElementById( 'nav1_' + linkid );
	
	// Check that li exists
	if (li) {
		li.className = 'navSel';
	}
}