playing around with JSon encoding