digest.jelly #9