3,767 SMP servers