printf("def add%s(x):\n return x+%1$s",readLine drop 3)