题目描述

A:$1000-7$=? B:$993$、$986$、$979$… 太痛了，实在太痛了，小安只是想起以前看《东京喰种》时看到的画面就感觉痛，于是他便出题让你们也感受一下(doge)。 先给出一个定义，$1000-7$ 数，表示 $1000$ 减去 $n$ 个 $7$ 之后的数字（$n$ 为正整数）。现给出你一个数字，你需要判断它是不是 $1000-7$ 数。

输入格式

第一行一个 $t$，代表测试样例数。（$1<=t<=10$^$4$^） 随后 $t$ 行，每行一个正整数 $x$，代表要判断的数。

输出格式

输出 $t$ 行，对于每一组测试样例，如果是则输出YES，否则输出 NO

样例

样例输入 1

4
990
997
993
986

样例输出 1

NO
NO
YES
YES