while 1=1do
let rec q=read_int()and
s=ref q in for i=1to q/2do
s:=!s+q/i*i/q*i done;Printf.printf"%d: %d\n"q!s done