function display_element(ID) {
	to_display = document.getElementById(ID);
	to_display.className = "show";
	};

function hide_element(ID) {
	to_display = document.getElementById(ID);
	to_display.className = "hidden";
	};

function switch_display(ID) {
		to_display = document.getElementById(ID);
		if (to_display.className == 'display'){
			to_display.className = "hidden";
		} else {
			to_display.className = "display";
		}
		};