Total extensions: 7933