i,s;main(n){for(;scanf("%d",&n)>0;printf("%d: %d\n",n,s))for(i=s=0;++i<=n;)s+=n%i?0:i;}