jobNo             502 src/dps8/dps8_crdrdr.c   static int jobNo = 0;
jobNo             513 src/dps8/dps8_crdrdr.c       jobNo ++;
jobNo             521 src/dps8/dps8_crdrdr.c       (void)sprintf ((char *) cardImage, "++UID %d", jobNo);
jobNo             627 src/dps8/dps8_crdrdr.c       (void)sprintf ((char *) cardImage, "++UID %d", jobNo);
jobNo             644 src/dps8/dps8_crdrdr.c