Like explode() in PHP, nothing fancy, just taking a string and convert it into an array based on delimiter, so e.g. I can have following string: "303;12;18;6;23;45;10;66" and after doing:

array = explode("303;12;18;6;23;45;10;66",";")

Array will be {303,12,18,6,23,45,10,66}.

Reason is of course token space and I want to encode maps this way for my contra cart.