80 is 25%of what number

0.25x = 80

Solve for x.