It uses flash to make, when it is loading, you already knew that is flash.
You cannot view its HTML source because the page does not contain any HTML codes and it is not a HTML document, it is flash player file (swf), 100% is flash and its action script.
The buttons links are use on action scripts.