David, that sounds like an IE cookie bug that's been discussed here
before. I think some versions of IE are known to sometimes ignore
either the port number or other parts of the URL when setting cookies.
I forget exactly though, and I couldn't find the old threads. If you
do find them, or other info, please let us know.
