// JavaScript Document

		function setFlashSize(breite, hoehe) {
			if (document.getElementById) {
				document.getElementById('flashContainer').style.width = breite+'px';
				document.getElementById('flashContainer').style.height = hoehe+'px';
			}
			if (document.all) {
		 		document.all['flashContainer'].style.pixelWidth = breite;
		 		document.all['flashContainer'].style.pixelHeight = hoehe;
			}
		}