convert the id as given in the command line to an integer for the
translation