$cat file server2 server5 server7 server8