char s[99];main(){gets(s);printf("def %s(x):\n    return x+%s",s,s+3);}