# It prints out the PR numbers. BEGIN{ num=0 while(getline < "Cs_expt.tab" >0){ if($1>num) num=$1 ID[$1]="OK" }close("Cs_expt.tab") while(getline < "Dc_expt.tab" >0){ if($1>num) num=$1 ID[$1]="OK" }close("Dc_expt.tab") while(getline < "Jc_expt.tab" >0){ if($1>num) num=$1 ID[$1]="OK" }close("Jc_expt.tab") for(i=1;i<=num;i++){ if(ID[i]=="OK") printf "%5d\n",i > "mars_PR_ID.tab" }close("mars_PR_ID.tab") }