( tjugondedag Juli ki.