digest.jelly #7