#include <bits/stdc++.h>

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