output_json()