Sum of integers below 817