Total extensions: 6,247