7.18.8: Students in cafeteria