An averaging theorem for quasilinear Hamiltonian PDEs.