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(element) {
	to_switch = document.getElementById(element);
	class_name = to_switch.className;
	if(class_name == "show" ){
		to_switch.className = "hidden"
	} else {
		to_switch.className = "show";
	}
	};