function navselect(which) {
	document.getElementById(which).className = 'selected';
}