Vintage 90’s High Waisted Red Striped Short Shorts size 11

Vintage 90’s High Waisted High Rise Red Striped Short Shorts size 11 Brand is Hyde Park, size 11. Please see pictures for measurements to be sure they’ll fit, sizes are different now vs then. Like new, in excellent condition.