#include <stdio.h>

int main(int argc, char *argv[]){
    int  x, y, z, wx, wy, wz, w;
    int sum = 0;
    scanf("%d%d%d", &x, &y, &z);
    for (int i = 0; i < 10; i++) {
      w = 0;
      wx = x % 10;
      if (wx != 0) {
        w = wx;
      }
      wy = y % 10;
      if (wy != 0) {
        w *= wy;
      }
      wz = z % 10;
      if (wz != 0) {
        w *= wz;
      }
      sum += w;
      x = x / 10;
      y = y / 10;
      z = z / 10;
    }
    if (sum % 3 == 0){
      printf("%s\n", "Yes");
    } else {
      printf("%s\n", "No");
    }
    return 0;
}