while 1<2do let n,s=read_int(),ref 0in for i=1to n do(n=n/i*i)&(s:=!s+i;1<2)done;Printf.printf"%d: %d
"n!s done