说明

望丽刚刚上完课，现在他想去学校的校堡王吃点下校鸡块。

校堡王出售的下校鸡块分为大份和小份，大份的有 7 块，小份的有 3 块。望丽刚好想吃 n 块，现在望丽想知道他是否能够刚好买到 n 块下校鸡块。

现在请你帮助望丽的疑问。

输入格式

输入第一行包含一个整数 t (1 ≤ t ≤ 100)——测试用例数。

接下来共 t 行，每行包含一个正整数 n (1 ≤ n ≤ 1000)，代表望丽想吃的鸡块数。

输出格式

对于每一个测试用例，如果望丽刚好能够买到 x 个鸡块，则输出"YES",否则输出"NO"。

2
6
5

YES
NO

Source