#include <bits/stdc++.h>
int main(int argc, char **argv) {
  int y, b, r;
  scanf("%d", &y);
  scanf("%d", &b);
  scanf("%d", &r);
  while (b - y < 1 || r - y < 2) {
    y = y - 1;
  }
  printf("%d", y + y + 1 + y + 2);
}
