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