these are just videofiles, composed as a loop in flash. If you really need some cloud animation in Your website, You could stream a lowres flv like here in one of our flash fullsite projects: Innovis Solutions