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