E li davano a’ fabbri, ed a’ muratori; e per comperar pietre tagliate, e legname per le travature, e per fare i palchi alle case, le quali i re di Giuda aveano guaste.