sum of digits of (7