while 1=1do let rec n=read_int()and f=function 1->1|i when n=n/i*i->i+f(i-1)|i->f(i-1)in Printf.printf"%d: %d
"n(f n)done