// JavaScript Document

	function adaptHeight() {
		oldWidth = document.getElementById('inhalt-txt').clientHeight;
		document.getElementById('inhalt-txt').style.height = oldWidth-148+'px';
	}
		function Reload()
	{
		window.location.href = window.location.href
	}