Aloha ;)
Was ich noch herausfinden muss, ist, welche der beiden Aktionen nun eigentlich standardkonform ist (und damit, wer hier eigentlich was falschmacht - der Javascript-Code oder der IE).
Laut WHATWG macht der IE was falsch. Demgemäß müssen Elemente mit id über das window-Objekt erreichbar sein. Allerdings ist das hier nicht das, was das Beispiel zerstört, da a ja im Eventhandler-Kontext definiert ist.
Grüße,
RIDER