NWOT J Crew city fit pants

Classic pair of city fit pants from J Crew. Zipper, button, and tab/slot closure, belt loops, no front pockets, two shallow back slash pockets. New without tags. Size 4 short, but since sizes vary quite a lot, please check measurements below (taken lying flat): waist: 16" front rise: 9" back rise: 14.75" length: 37" inseam: 28" hip: 19" thigh: 11.5" knee: 9.5" leg opening: 10.75"