I chose it off the top of my head, at random! Coming up with character names is one of the things I find difficult in writing, but I'm kind of pleased with where I ended up.