Title: Holiday time, or, The school boy's frolic