3-7-1 page 46 of the 2018 NFHS football rule book.
Between downs any number of eligible substitutes may replace players. Upon meeting the criteria of 2-32-12, replaced players shall begin to leave the field with in 3 seconds.
Now some one can correct me if I am wrong the wording use to say replaced players shall leave the field immediately and we always used the standard of 3 seconds, it was last year or the year before when the Federation finally defined and add the verbiage of 3 seconds