Entonces él midió el ancho total exterior de la entrada, midiendo a lo largo del techo desde las puertas exteriores de las habitaciones de la guardia. Esta distancia era de trece metros con doce centímetros.