Lululemon running shorts

I believe these are hotty hot shorts 4 inches inseam. Size dot can’t be located but they should be a size 8. Used, but in Good condition! They do have a pink stain on the back over the waistband. See photo. I honestly think it might come out in the wash. But pricing these low because of it.