que nombre le coloco al archivo de texto para que setool lo lea?