write("def ",a:=File standardInput readLine,"(x):
    return x+",a slice(3))