function textgroesse(mysize) {
	//document.getElementsByTagName("body")[0].style.fontSize=mysize+'em';
	document.getElementById("content").style.fontSize=mysize+'em';
	
}