What is a good time to run the mile for a junior high schooler?

What is a good time to run the mile for a junior high schooler?
My son is in the 7th grade and just had his first meet. He ran the mile in 5:31 and finished 2nd.