assert FIND7