while(0#a:?read(?nil,?nil,0))do printf(?t,"~d: ~d
",a,divsum(a));