See Re: How to start default browser on Windows?. Note that this opens the user's default browser, rather than IE necessarily, but I suspect most of your users would consider that a good thing. system works too, but IIRC it pops up a console window (unless you're already in one), which may be unseemly.