#include <stdio.h>
__inline int GetNumber() {return 42;}

int main()
{
   int n = GetNumber();
   printf("%d\n",n);
}