Double splits are ugly if you can just use a regex like
/^(\d+)\.(\d+)\.(\d+)$/gim But you know me, I'm one for using regex on just about anything
Oh and all you hae to do is once you get the page info in the xmlhttp request, use a line like
code:
var info = xmlhttp.ResponseText.getElementsByTagName("body")[0].innerHTML;
and that should get you the contents of the boy tags
NB. None of this code has been tested and may need tweaking....