[Koha] Card Numbers

Here's my first question about Koha. How are the card numbers generated? I looked through the code and found the algorithm for checking validity of card numbers and determined that 123456789 was a valid card number, but how does one normally generate these? :) Steve.