I find 'string'.split() easier to work with if there are lots of symbols, but I'll change it.