45 is 12.5 percent of what number?