Last weekend, 15% of the tickets sold at Seaworld were discount tickets. If Seaworld sold 40 tickets in all, how many discount tickets did it sell? Use the percent proportion.