Internet Explorer could not open the internet site.
And not one bit of the page would display.
I dug around online, but couldn't find anything. On a complete whim, I decided to try to move the showMap() function into the window.onload() handler. And crazily enough, it worked! So the whole error was caused by the showMap() being run before the page had fully loaded. Insane…