k,j;main(i){for(;~scanf("%d",&i);j=!printf("%d: %d\n",i,k))for(k=i;++j<i;)k+=i%j?0:j;}