if (r.searchFrom(toParse, pos))
{
v.addElement(r.left().substring(pos));
if (r.searchFrom(toParse, pos))
{
v.addElement(r.left().substring(pos));
for (int i = 0; i < r.numSubs(); i++)
{
if (r.substring() != null)
{
v.addElement(r.substring(i + offset));
for (int i = 0; i < r.numSubs(); i++)
{
if (r.substring() != null)
{
v.addElement(r.substring(i + offset));