20 percent of 25700 = 5140