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

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