vexlat , hållande sig i omkring 9 500 000 egyp ' tiska pund.