How Many Different Knots Are There