17 El rey mandó que sacaran de la cantera piedras grandes, piedras costosas,+ para hacer los cimientos+ de la casa con piedras labradas.+

7 La casa se hizo con piedras de cantera previamente labradas,+ de modo que no se oyó en la casa el ruido de martillos ni de hachas ni de ninguna herramienta de hierro durante la construcción.

9 Todas estas construcciones —desde los cimientos hasta lo más alto de las paredes, y también la parte exterior, hasta llegar al gran patio—+ estaban hechas de piedras costosas+ labradas a medida, cortadas con sierras para piedras, tanto por dentro como por fuera.