text: /**
  * Convert Persian digits to English digits. 
  */
  export function toEnglishDigits(str) {
      str = String(str);
      let e = '۰'.charCodeAt(0);
      str = str.replace(/[۰-۹]/g, function (t) {
          return t.charCodeAt(0) - e;
      });
      e = '٠'.charCodeAt(0);
      str = str.replace(/[٠-٩]/g, function (t) {
          return t.charCodeAt(0) - e;
      });
      return str;
  }
  