Total extensions: 7,907