conversion between string and int