Serial numbers for windows xp professional 64 bit service pack 1: