A credit card number validator