{
    if ($2==7){
	n=split($3,a,"-");x=$1;
	for (i=2;i<7;i++){
	    split(a[i],b,"rf");
	    f=sprintf("cor5hl/l%d-rf.txt",i-1);
	    print b[1],x>>f;
	    f=sprintf("cor5hl/l%d-nhid.txt",i-1);
	    print b[2],x>>f;
#	    printf(" %d rf %d",b[1],0+b[2]);
	}
#	printf(" %s\n",$2);
    }

}