Sum of integers below 717