Getters for JSON