Total extensions: 7919