chose another json encoding