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             648 src/dps8/dps8_crdrdr.c       (void)sprintf ((char *) cardImage, "++UID %d", jobNo);
jobNo             665 src/dps8/dps8_crdrdr.c