Vaccination against HPV for children at the age of 10 years