A. Задача о голодном студенте
ограничение по времени на тест
1 секунда
ограничение по памяти на тест
256 мегабайт
ввод
стандартный ввод
вывод
стандартный вывод

Пары в университете только что закончились, и Иван решил пойти в местное кафе CFK поесть жареной курочки.

В CFK лакомство продается маленькими и большими порциями. В маленькой порции 3 куска курицы, в большой — 7 кусков. Иван хочет съесть ровно x кусков. Он интересуется, может ли он купить столько курицы.

Формально, Иван хочет узнать, можно ли выбрать два неотрицательных целых числа a и b такие, что при покупке a маленьких порций и b больших порций он в сумме получит ровно x кусков.

Помогите Ивану справиться с этим вопросом для нескольких вариантов значений x!

Входные данные

В первой строке записано одно целое число n (1 ≤ n ≤ 100) — количество тестов.

В i-й из следующих n строк записано по одному целому числу xi (1 ≤ xi ≤ 100) — количество кусков курицы, которые Иван хочет съесть.

Выходные данные

Выведите n строк. В i-й строке выведите YES, если Иван может купить ровно xi кусков. В противном случае выведите NO.

Пример
Входные данные
2
6
5
Выходные данные
YES
NO
Примечание

В первом примере Иван может купить две маленьких порции.

Во втором примере Иван не может купить ровно 5 кусков, так как маленькой порции недостаточно, а две маленькие или одна большая — уже слишком много.