function show_hide(tabelle, show) {
		if (tbl = document.getElementById(tabelle)) {
			if (null == show) show = tbl.style.display == 'none';
			tbl.style.display = (show ? '' : 'none');
		}
	}