let ios = int_of_string