#include <bits/stdc++.h>

int main()
{
  std::cout << 3797 << std::endl;
}