Total extensions: 4,992