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