4.02 percent of 2000 = 80.39999999999999