School sports; high jump.