$80 is 25% of what amount?