How Many Different Magic Cards Are There