jobNo             503 src/dps8/dps8_crdrdr.c   static int jobNo = 0;
jobNo             514 src/dps8/dps8_crdrdr.c       jobNo ++;
jobNo             522 src/dps8/dps8_crdrdr.c       (void)sprintf ((char *) cardImage, "++UID %d", jobNo);
jobNo             649 src/dps8/dps8_crdrdr.c       (void)sprintf ((char *) cardImage, "++UID %d", jobNo);
jobNo             666 src/dps8/dps8_crdrdr.c