s=io.read()print("def "..s.."(x):\n return x+"..s:sub(4))