#include<stdio.h>
int check(int n)
{
if(n%86==0) return 1;
else return 0;
}
int main()
{
int n,m;
while(scanf("%d%d",&n,&m)!=EOF)
{
if(check(n+m)) printf("yes\n");
else printf("no\n");
}
return 0;
}
int check(int n)
{
if(n%86==0) return 1;
else return 0;
}
int main()
{
int n,m;
while(scanf("%d%d",&n,&m)!=EOF)
{
if(check(n+m)) printf("yes\n");
else printf("no\n");
}
return 0;
}