9 Semua bangunan itu, termasuk halamannya yang besar, dari asas bangunan sampai ke bumbung, dibuat daripada batu yang baik. Batu-batu itu disediakan di kuari dan dipotong menurut ukuran yang ditentukan; bahagian dalam dan bahagian luar batu-batu itu diratakan dengan gergaji.