Use seed[12] for 512 too