Crewcuts blue white nautical anchor boxer shorts

Excellent gently used condition. No stains or holes. Crewcuts factory blue boxer shorts with white anchor print. Elastic waist. Teeny tiny fly. 100% cotton. Can wear these as pajama bottoms! Size Small fits size 3 according to J. Crew website. Waist is 9" slack, 13" taut. 9.5" total length from waist to hems. Machine wash. Style 33318. No trades, please!