function doResize(){
alert (window.innerWidth);
alert (window.innerHeight);
	if (jslib_getWindowHeight() < 632 | jslib_getWindowWidth()<990) {
		if (confirm("Die Größe des Browserfensters ist ein bisschen klein für die Webseite.\n Soll ich die Minimalgröße wählen?\nOK = Ja")) {
			window.resizeTo(1024,786);
		}
	}
}