function fontbigger2()
	{
		document.getElementById("maincontent").style.fontSize=20+"px";
	}

	function fontbigger1()
	{
		document.getElementById("maincontent").style.fontSize=16+"px";
	}

	function fontnormal()
	{
		document.getElementById("maincontent").style.fontSize=14+"px";
	}