sum of digits of 2^1000