I'm not sure what this number represents, assuming it is correct, but it is certainly not how much it costs to run HMRC.

"It cost £4 billion to run HMRC in 2018-19" [1] (page 18)

[1] https://assets.publishing.service.gov.uk/government/uploads/...