À combien est monté $PUMP ?