Sum of integers below 947