Government revenues largely come from sales of fishing licenses, income from the Tuvalu Trust Fund, and from the lease of its highly fortuitous . How much of the total government revenue comes from the domain name?