awk ' BEGIN {
nid = 0
}
{
if(NR == 1) {
  prec=$0
  champ1=$1 
  getline }
if (champ1 == $1) {
  printf"%5d\n",$1
getline }
prec=$0
champ1=$1
} '