Total extensions: 7890