how to split a string into integers in python?,"""""""42 0"""""".split()"