function adjust_fontpic_height(Anzahl) {
	textheight = document.getElementById("textheight").offsetHeight;
	for(index = 1;index < (Anzahl + 1);index++) {
		varfontpic = "fontpic" + index;
		imgheight = document.getElementById(varfontpic).height;
		if((textheight > 0) && (imgheight > 0)) {
			if(textheight > 18) {
				newheight = (imgheight * textheight) / 18;
				newheight = newheight + 1;
				if(imgheight > 9) {
					newheight = newheight + 1;
					}
				document.getElementById(varfontpic).height = newheight;
				}
			}
		}
	}