jobNo 498 src/dps8/dps8_crdrdr.c static int jobNo = 0; jobNo 509 src/dps8/dps8_crdrdr.c jobNo ++; jobNo 517 src/dps8/dps8_crdrdr.c (void)sprintf ((char *) cardImage, "++UID %d", jobNo); jobNo 623 src/dps8/dps8_crdrdr.c (void)sprintf ((char *) cardImage, "++UID %d", jobNo); jobNo 640 src/dps8/dps8_crdrdr.c