Sum of integers below 517