{ print "/echo " $0 }