Counting Records in WeChat Mini Program Databases