added non-standard string-split function