#include <bits/stdc++.h>
#define endl '\n'

using namespace std;

typedef long long ll;

long long n, maxx;

long long sum(long long n) {
    long long sum = 0;
    while (n != 0) {
        sum = sum + n % 10;
        n /= 10;
    }
    return sum;
}

int main() {
    cin >> n;
    while (n--) {
        long long tmp;
        cin >> tmp;
        if (sum(tmp) % 7 == 0)
            cout << "Yes" << endl;
        else
            cout << "No" << endl;
    }
    return 0;
}