They were probably created with Flash. The animated graphics part could be done with Xtreme, but I dont think the clock function could be done.