What percent of 40 is 25% if 80?​