convert string into int