if test -s ../$1/$1.ms
then
FILE=../$1/$1.ms
else
if test -s ../$1
then
FILE=../$1
else
if test -s $1
then
FILE=$1
fi
fi
fi
echo $FILE
awk '
/^\.hD/	{
	if($0 ~ /"/){
		n=split($0,a,"\"")
		term = a[2]
	}
	else{
		getline
		term = $0
	}
	print term
}' $FILE|sort|uniq


