function change_div_height(div1,div2) {
	if ($(div1).height() > $(div2).height()) $(div2).height($(div1).height()+4);
	else $(div1).height($(div2).height()-4);
	}