Child's Fleece Lined Pants/Leggings

Darkest blue or black with pink, white and yellow polka dots:and a sunny, light mustard yellow fleece lining. These don't appear to have been worn, but the curled tags make me think they must have been laundered. There's no U.S. size tag, but there is a 150 tag which could be a size 12, but these look small to me. Lying flat, the waist is 9" across, the inseam is 21" and the outer length is 31". Cute, warm and cozy pants.