A GIF decoder written in JavaScript