function eqh() {
	if (arguments.length) {
		var b, h=0, maxh=0, i=0;
		for(i=0; i<arguments.length; i++) {
			b=document.getElementById(arguments[i]);
			h=b.offsetHeight;
			if (h=="") {
				h = b.height;
			}
			if (h=="") {
				return;
			}
			maxh = Math.max( maxh, h );
		}
	}
	for(i=0; i<arguments.length; i++) {
		b = document.getElementById(arguments[i]);
		setStyle( b, "height", maxh+"px" );
	}

}
