change .txt to .in (7.1)