cat("def ",x<-scan("stdin",""),"(x):"," return x+",substring(x,4),sep="")