function explain_pikto(arg) {
			var Textknoten = document.createTextNode(arg);
			document.getElementById("explain").replaceChild(Textknoten, document.getElementById("explain").firstChild);
		}
		
		function noexplain() {
			var Textknoten = document.createElement("br");
			document.getElementById("explain").replaceChild(Textknoten, document.getElementById("explain").firstChild);
		}