Total extensions: 7812