x,z,y = input().split()
xd = sum([int(d) for d in list(x)])
yd = sum([int(d) for d in list(y)])
zd = sum([int(d) for d in list(z)])
if any([True if d % 3 == 0 else False for d in (xd,yd,zd)]):
    print('Yes')
else:
    print('No')