Eh, the top 1% of earners are responsible for c15% of income. Bear in mind that these will be on a higher tax band too, so a figure of c25% of income tax revenue is pretty likely - hardly a drop in a budget.