function doNav(currentPage) {
	selected = document.getElementById('nav' + currentPage);
	selected.className = 'selected';
}