Total extensions: 7908