The output is written in a file