Hôm nay Quý và Đức học về số học. Thầy giáo nghĩ ra một trò chơi để hai bạn hiểu rõ hơn về định nghĩa "nguyên tố cùng nhau". Thầy giáo có \(n\) gói kẹo. Thầy không cho Quý và Đức biết cụ thể số lượng kẹo trong từng gói, tuy nhiên thầy đưa ra gợi ý về các gói kẹo: Số lượng kẹo trong gói kẹo thứ \(i\) \((1 \leq i \leq n)\) là số lượng số nguyên dương nhỏ hơn hoặc bằng \(i\) và nguyên tố cùng nhau với \(i\). Hai số được gọi là nguyên tố cùng nhau khi ước chung lớn nhất của hai số đó bằng \(1\). Thầy giáo cho hai bạn được chọn hai gói kẹo. Tuy nhiên, thầy muốn số lượng hai gói kẹo được chọn phải bằng nhau thì hai bạn mới được nhận hai gói kẹo đó. Vì chỉ được chọn một lần nên Quý và Đức suy nghĩ rất kĩ, do đó hai bạn quyết định đếm xem có bao nhiêu cách chọn hai gói kẹo thỏa mãn để tính toán kĩ hơn. Hãy giúp Quý và Đức tính ra số cách thỏa mãn nhé.

Input

• Dòng duy nhất chứa số nguyên dương \(n\) \((1 \leq n \leq 5*10^6)\)

Output

• In ra số cách chọn hai gói kẹo có số lượng kẹo bằng nhau

Example

8

5

Số lượng kẹo của $n$ gói lần lượt là: 1 1 2 2 4 2 6 4
Các cách chọn hai gói kẹo thỏa mãn: (1, 2), (3, 4), (3, 6), (4, 6), (5, 8)