Numbers Unrelated to 7

Problem Description

A positive integer is called "related to 7" if it is divisible by 7, or if any digit in its decimal representation is 7. Now find the sum of the squares of all positive integers not exceeding $n(n < 100)$ that are unrelated to 7.

Input Format

One line: a positive integer $n(n<100)$.

Output Format

One line: an integer, the sum of the squares of all positive integers not exceeding $n$ that are unrelated to 7.

Sample Input

21

Sample Output

2336