该比赛已结束，您无法在比赛模式下递交该题目。您可以点击“在题库中打开”以普通模式查看和递交本题。

题目背景

公元 3141 年，人类在猎户座旋臂建立了一条编号从 $1$ 到 $n$ 的星际航标链。每座航标都有唯一编号，并在宇宙中默默漂浮。

传说有三种古老频率会唤醒航标：

• 双星频率 2；
• 三体频率 3；
• 七色星云频率 7。

但在星海航标系统中，“除”并不是普通的除法，而是一种被重新定义的新运算。

新运算定义

对于正整数 $a, b$，定义新运算“星除” $\oslash$：

当 $a \oslash b = 1$ 时，称航标 $a$ 与频率 $b$ 产生共鸣。

题目描述

给定航标链的最大编号 $n$，请你求出从编号 $1$ 到编号 $n$ 的航标中，有多少座会与频率 $2$、$3$、$7$ 中的至少一种产生共鸣。

也就是说，求满足下列条件中至少一个的正整数 $x$ 的个数：

或

或

其中 $1 \le x \le n$。

由于答案可能很大，你只需要输出结果即可。

输入格式

输入仅一行一个整数 $n$（$1 \leq n \leq 10^{18}$）。

输出格式

输出一个整数，表示满足条件的航标数量。

样例

10

8

解释：$1$ 到 $10$ 中，会亮起的航标编号为 $2, 3, 4, 6, 7, 8, 9, 10$，共 $8$ 座。

100

72