Added functions that output JSON formatted strings