Total extensions: 7923