EOFs for json