Video in Flash

TO WHOM IT MAY CONCERN:

I am intrested to know what type of video player is
in this website: www.asymptote.net,

Sincerely,

Kevin