There was a cheerful music in the ears, and many men jumped around the edge of the pool.