Total extensions: 4,937