// JavaScript Document
	// Dynamic Iframe loader
	function loadIframe(theURL) {
		document.getElementById("HFrame").src=theURL;
	}
	
	// resizes Iframe according to content
	function resizeMe(obj){ 
		docHeight = HFrame.document.height || HFrame.document.body.scrollHeight 
		obj.style.height = docHeight + 'px'
	} 
	function pfadausgabe(text){
	document.getElementById('pfad').innerHTML= text;
}