In the year 2000, what is the difference between the total expenditure spent by the government in R&D projects in Korea (Republic) and total expenditure spent by the government in R&D projects in Mauritius ?