Total extensions: 7814