sum of digits of 100!