aan de oostzijde, die vierduizend vijfhonderd (el) lang is, ook drie poorten: een Jozefpoort, een Benjaminpoort en een Danpoort;