Total extensions: 7938