changed input file encoding to ascii