Total extensions: 7980