char.isxdigit() returns true, if the character is one of 0 1 2 3 4 5 6 7 8 9 a b c d e f A B C D E F.
