What is the fastest seventh grade boys mile time?

A kid I ran against at state from Blue Mound Meridian in Illinois ran a 4:39.