Las clases de David en la universidad acaban de terminar, y ahora él quiere ir a la cafetería local CFK y comer un poco de pollo frito.

CFK vende trozos de pollo en porciones pequeñas y grandes. Una pequeña porción contiene ~3~ trozos; una grande - ~7~ trozos. David quiere comer exactamente ~x~ trozos. Ahora se pregunta si puede comprar exactamente esta cantidad de pollo.

Formalmente, David quiere saber si puede elegir dos enteros no negativos ~a~ y ~b~ de tal manera que una porción pequeña y una grande contengan exactamente ~x~ trozos.

¡Ayuda a David a responder esta pregunta por varios valores de ~x~!

Entrada

La primera línea contiene un número entero ~n~ ~(1 \leq n \leq 100)~: el número de casos de prueba.

La \(i-ésima\) de las siguientes ~n~ líneas contiene un número entero ~x_i~ ~(1 \leq x_i \leq 100)~ - la cantidad de trozos de pollo que David quiere comer.

Salida

Imprima ~n~ líneas, en la \(i-ésima\) línea de salida, “YES” si David puede comprar exactamente ~x_i~ trozos. De lo contrario, imprima “NO”.

Ejemplo de Entrada

2
6
5

Ejemplo de Salida

YES
NO

Explicación

En el primer ejemplo, David puede comprar dos porciones pequeñas.

En el segundo ejemplo, David no puede comprar exactamente ~5~ trozos, ya que una pequeña porción no es suficiente, pero dos porciones pequeñas o una grande es demasiado.