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