Hola!!!
Mira viendo el código fuente todo parece indicar que es Flash!!!
Deja te investigo si hay algún manual interesante que te pueda servir para estas cosas, la mayoría los hace en Flash pero igual y tienen más experiencia en eso por lo que parece compicado pero sabiendo manejar y elaborar funciones en el Flash lo podrás hacer!!
No me despido deja veo que encuentro!!
