A short snippet for detecting versions of IE in JavaScript without resorting to user-agent sniffing