What is the fastest 5000 meters time run by a high school student?

the fastest 5000m ran by a high school student is 13:37 set by Chris Derrick of Neuqua Valley High School in Naperville, IL (USA High School only of course).