In how many years, is the amount spent on the salary of employees by the government in Korea (Republic) greater than the average amount spent on the salary of employees by the government in Korea (Republic) taken over all years ?