Vaccination against multiple HPV types.