25% of the tickets sold at an amusement park were discount tickets. If the park sold 40
tickets in all, how many discount tickets did it sell?