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