jobNo             488 src/dps8/dps8_crdrdr.c   static int jobNo = 0;
jobNo             500 src/dps8/dps8_crdrdr.c       jobNo ++;
jobNo             508 src/dps8/dps8_crdrdr.c       sprintf ((char *) cardImage, "++UID %d", jobNo);
jobNo             614 src/dps8/dps8_crdrdr.c       sprintf ((char *) cardImage, "++UID %d", jobNo);
jobNo             631 src/dps8/dps8_crdrdr.c