Boot Animations?

Now since things can be flashed I was wondering how changing the boot animation works. I remember seeing that Samsung using a different file format for boot animations. If this is the case anyone know of the stock Android boot animation in the correct format?
Thanks!