他 量 门 口 , 宽 十 肘 , 长 十 三 肘 。
Midió el ancho de la entrada de la puerta, de diez codos, y la longitud del portal, de trece codos.