NetworkMagic: number