If you want to know the total number of lines, words, and characters in a file called "documento.txt", what command would you use?