function set_box_height(id) {
	var div = $("#box_" + id);
	
	var h_old = div.height();
	var h_new = (Math.floor(h_old/12) * 12) + 12;
	
	/* message(id + "_" + h_old + "_" + h_new); */
	
	/* div.height(h_new);	 */
}