#243: ajax_json.js, add newlines between source code