jobNo 573 src/dps8/dps8_crdrdr.c static int jobNo = 0; jobNo 584 src/dps8/dps8_crdrdr.c jobNo ++; jobNo 592 src/dps8/dps8_crdrdr.c (void)sprintf ((char *) cardImage, "++UID %d", jobNo); jobNo 740 src/dps8/dps8_crdrdr.c (void)sprintf ((char *) cardImage, "++UID %d", jobNo); jobNo 757 src/dps8/dps8_crdrdr.c