FastJSON::__getStaticReplacement PHP Method

    function __getStaticReplacement()
    {
        static $replacement = array('find' => array(), 'replace' => array());
        if ($replacement['find'] == array()) {
            foreach (array_merge(range(0, 7), array(11), range(14, 31)) as $v) {
                $replacement['find'][] = chr($v);
                $replacement['replace'][] = "\\u00" . sprintf("%02x", $v);
            }
            $replacement['find'] = array_merge(array(chr(0x5c), chr(0x2f), chr(0x22), chr(0xd), chr(0xc), chr(0xa), chr(0x9), chr(0x8)), $replacement['find']);
            $replacement['replace'] = array_merge(array('\\\\', '\\/', '\\"', '\\r', '\\f', '\\n', '\\t', '\\b'), $replacement['replace']);
        }
        return $replacement;
    }

 function __decodeString(&$encode, &$pos)
 {
     $replacement = FastJSON::__getStaticReplacement();
     $endString = FastJSON::__endString($encode, $pos, $pos);
     $result = str_replace($replacement['replace'], $replacement['find'], substr($encode, $pos, $endString));
     $pos += $endString;
     return $result;
 }