# File json/objects.rb, line 66
    def self.to_json(str)
      return "\"\"" if (str.length == 0)
      newstr = "\""
      str.each_byte {
        |b|
        c = b.chr
        case c
        when /\\|\">/
          newstr << "\\" + c
        when "\b"
          newstr << "\\b"
        when "\t"
          newstr << "\\t"
        when "\n"
          newstr << "\\n"
        when "\f"
          newstr << "\\f"
        when "\r"
          newstr << "\\r"
        else
          if (c < ' ')
            t = "000" + sprintf("%0x", b)
            newstr << ("\\u" + t[0,t.length - 4])
          else
            newstr << c
          end
        end
      }
      newstr += '"'
      return(newstr)
    end