#include <iostream>
#include <string>
using namespace std;
int main(){
    string s;
    cin>>s;
    int r=0;
    for(int i=0; i<s.size(); i++){
        char c=s[i];
        r=(r*10+(c-'0'))%17;
    }
    if(r==0)cout<<"Yes";
    else{
        int down=r,up=17-r;
        if(down<up)cout<<down;
        else cout<<up;
    }
    return 0;
}

用字串:)))))))