Appears to be based on this code: http://snipplr.com/view/29188/
EDIT: actually, it might or might not be based on it, but that code shows how to implement dynamic favicons, at least for Google Chrome.
Another edit: MikeCapone observed in another comment that it only goes up to "30+" so they might just be using 30 static images. But if so, why that wouldn't work in browsers other than Chrome 6+ and Firefox 2+ is beyond me.