童童来到了 X 星球，那里住着一群原始生物，童童教他们使用阿拉伯数字。
不知道什么原因，X 星人对数字 7 产生了恐惧，因此他们的计数方法将不包含数字 7。也就说，包含数字 7 的数将无法在 X 星球使用。
现在童童想知道，正整数 n 是否可以在 X 星球使用的。
输入一个整数 n (1≤n≤10^{18})。
输出两个整数。
第一个整数表示 7 的个数。
如果可以使用，输出 yes，否则输出 no。
71
1 no