What is a world record a nine year old girl can beat?

how long does it take for the fastest nine year old girl in the world to run a mile