echo hello world! to a file