A public School district furnishes pencils to its elementary school. The pencils the secretary orders from the district warehouse each year are packaged in boxes that contain one gross (12 dozen). The average use of pencils is 9.3 pencils per student. If the school's enrollment is 812 students, what is the minimum number of boxes of pencils that should be ordered?