I know this isn't the point of your comment, but modifying document.body.innerHTML and then using document.all to access it is probably the worst possible way to append an element to the document and then use it.
Also I changed "document.all" for "document.body.childNodes" that is cross-browser and can't be compromised.