You forgot 5" . 4 3/4" seems to be the standard "adult" size stirrup. As long as it's not flopping on your foot or squeezing your toes, it really shouldn't matter what size stirrups you have.
Measure the stirrups you use to get the same size. Measure on the inside, from the inside edges of the bars on each side (where your foot would go through).