function $(t) { return document.getElementById(t); }

function switch_view(id) {
  if($(id).style.display=="none"){
		$(id).style.display="block";
	} else {
		$(id).style.display="none";
	}
}