I have done View Source and found that the string
src="
http://1.2.3.4/bmi-int-js/bmi.js"
is being added into the HTML.
A google reveals very little, and if I do a search using another search engine e.g.
www.av.com I get a lot more hits...
Update: the answer turned out to be quite complex:
I have been using a Vodafone 3G adaptor, which obviously uses a Voda internet gateway. This gateway compresses the data; it inserts various code into the data to compress the data, and there is a little java program on the PC which uncompresses it. A search on Bytemobile reveals more...
Anyway, somehow a copy of the offending web page ended up in my browser cache, complete with the Voda java code, but since I was not running the Voda 3G software anymore, the inserted code was not getting stripped out, and was confusing IE7.
Solution: purge the browser cache.
10/10 for bizzare.