function display (category) {
	var whichcategory = document.getElementById(category);
	if (whichcategory.className=="shownav") {
		whichcategory.className="hidenav";
	} else {
		whichcategory.className="shownav";
	}
}