This is Awesome ...how is it done?

check this out… http://disneyworld.disney.go.com/wdw/?bhcp=1 and http://disney.go.com/destinations/flash/ the mouse has some kind of random movenment that follows it, can anyone tell me how this is done?

Thanks…