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