#include<bits/stdc++.h>
int a[100005];
int main()
{
	int n;
	int f_ans=0;
	scanf("%d",&n);
	for(int i=1;i<=n;i++)
	{
		scanf("%d",&a[i]);
	    while(a[i]>0)
	    {
	    	f_ans=a[i]%10;//mean:(f_ans+=a%10)//but there ans = 0
	    	a[i]/=10;//mean:a=a/10
		}
		if(f_ans%7==0)
		{
			printf("Yes");
			printf("\n");
		}
		else
		{
			printf("No");
			printf("\n");
		}
	}
}