t o carpenters and builders and masons—and to buy timber and hewn stone to repair the house.
tức thợ mộc, thợ xây cất, thợ hồ, và dùng mua gỗ và đá đẽo đặng tu bổ đền lại.