Since I'm functionally illiterate and can't read the packaging, can someone tell me what artificial sweetener is used in the Diet Coke and Diet Pepsi one finds in China? Also, Coke Zero and Pepsi Max?

Saccharine, Aspartame, Sucralose, Stevia...something else?

Hoping someone here works for Coke/Pepsi, or happens to know what ingredients China's food authorities allow.