What does Google do their Animation with?

Anyone know what Google use to do the Animation on their home page? That Little Nemo piece was great!

I know it can't be Flash.

Thanks!