Yes, I think they originally used Flash then switched to Silverlight. Not sure if they still support the flash player though. That said I'd bet they will be moving to HTML5 soon.