Animated Favicons

Now a days, many sites are displaying animated favicons (like this site on Email trace). How do they do that? Its simple. Create an animated gif file but with the size of Favicon (i.e. 16px by 16px). Then rename this favicon.gif to favicon.ico (.ico is the extension for favicons). Firefox renders these animated favicons, but not IE. IE displays only the first frame