RE: Divisibility by seven