How much is that in gross annual salary? (Background - separated from husband and starting to gather info for divorce. I thought his annual salary was 80k per annum but I think it must be more than that?). This sum is after his pension contributions of 4% salary.