Aardio取汉字的字节数或字符数

import console; 

var num = "abc123中国";



//aardio中字符串默认是UTF8编码,#每个UTF8汉字三个字节,转换成gbk后,#是每个gbk汉字二个字节

//string.len是每个UTF8汉字按一个字符来算

console.log(#num,#string.fromto(num,,936),string.len(num));

console.pause(true);