function jsInit()
{
	// Schrift initialisieren

	document.getElementsByTagName("body")[0].style.fontSize="15px";
	document.getElementById("menu").style.fontSize="15px";
	document.getElementById("menu2").style.fontSize="15px";

}