en half million pund ( 9 mill.