<html><head><style type="text/css"><!-- DIV {margin:0px;} --></style></head><body><div style="font-family:times new roman, new york, times, serif;font-size:12pt"><DIV>>Anyway, what usage do you see for substring?<BR>I used it to parse mixin strings.</DIV></div><br>
</body></html>