code: function JSON_parse(jsonString) { // @arg String - JSON String
                                    // @ret Any
                                    // @throw SyntaxError("Unexpected token: ...")
      var unescaped = jsonString.trim().replace(/"(\\.|[^"\\])*"/g, "");
  
      if (/[^,:{}\[\]0-9\.\-+Eaeflnr-u \n\r\t]/.test(unescaped)) {
          throw new SyntaxError("Unexpected token:" + jsonString);
      }
      return (new Function("return " + jsonString))(); // raise error
  }
docs: === JSON ================================================