That's right, you only have to then get the serial number from the RFID card into that same format, but if you can't persuade the libiary to do this then it is simple enough to use a mask and shift to do it.
However given the OPs "delicate state of health" as my supervisor used to call it, then maybe this is one for when he gets more comfortable with programming.