convert from str to int