to make the idToTxt.pl more easy to use