function highlight(section, page) {
	document.getElementById(section).className="current";
	document.getElementById(page).className="current";
}