printf'def add%s(x):\n return x+%1$s',System.in.text[3..-2]