cat(gsub("[^\n]",0,readChar("stdin",9e3)))