function change_font_size(direction)
{
	var http = null;
	http = erzXMLHttpRequestObject()
	if (http != null) 
	{
	   http.open("GET", "/ajax.php?action=change_font_size&up_down="+direction, true);
	   http.onreadystatechange = ausgeben;
	   http.send(null);
	}
	function ausgeben() 
	{
		if (http.readyState == 4)
		{
			location.reload();
		}
	}
}