平均基本流通股数的CRAVEN HOUSE CAPITAL PLC ORD USD1。