High school football size vs. NFL football size?

college football size vs. high school football size