Y todo eso otro es el tributo anual de la ciudad al mismo rey Omar".