function toggle_visibility(id) {
	   var defaultText = document.getElementById("defaulttext");
	   var example = document.getElementById("example");
	   if (id=="example"){
			defaultText.style.display = "none";
			example.style.display = "block";
		}
 }