json EOF