How to do divisibility by 13?