Red Old Navy pants

Bright red Old navy pants. There is a small spot on the back of the pants but they have never been worn so I think it may just be something from the store. The spot would probably come out in the wash. They are size 4 but Old navy sizes run funny sometimes. Also the pockets on the back of the pants are not real. Please message me with questions or if you would like measurements. Thank you!