function setFrameHeight(fname, h, minh, maxh) {
	if (minh!=undefined && h<minh)
		h = minh;
	if (maxh!=undefined && h>maxh)
		h = maxh;
	if (document.getElementById(fname)) {
		document.getElementById(fname).height = h;
	}
}