char ch = str.charAt(i);
            // handle unicode
            if (ch > 0xfff) {
                out.append("\\u").append(hex(ch));
            } else if (ch > 0xff) {
                out.append("\\u0").append(hex(ch));
            } else if (ch > 0x7f) {
                out.append("\\u00").append(hex(ch));
            } else if (ch < 32) {
                switch (ch) {
                    case '\b':

E,iBAAA,QACA,MAAA,KAFF,+EAOQ,MAAA,kBAPR,sEAOQ,MAAA,kBAPR,0EAOQ,MAAA,kBAPR,2EAOQ,MAAA,kBAPR,iEAOQ,MAAA,kBAPR,oD7Fo0eF,oF6FzzeU,iBAAA,QACA,aAAA,QACA,MAAA,kBAbR,qFAkBU,MAAA,QAlBV,4EAkBU,MAAA,QAlBV,gFAkBU,MAAA,QAlBV,iFAkBU,MAAA,QAlBV,uEAkBU,MAAA,QAlBV,0D7F+1eF,0F6Fz0eY,iBAAA,QACA,aAAA,kBACA,MAAA,QAxBV,8EAgCQ,MAAA,qBAhCR,qEAgCQ,MAAA,qBAhCR,yEAgCQ,MAAA,qBAhCR,0EAgCQ,MAAA,qBAhCR,gEAgCQ,MAAA,qBAhCR,mD7F03eF,mF6Ft1eU,iBAAA,QACA,aAAA,QACA,MAAA,qBAtCR,oFA2CU,MAAA,KA3CV,2EA2CU,MAAA,KA3CV,+EA2CU,MAAA,KA3CV,g...