my $num = grep ($seen{$_}, @SupportedPTs);
print "num=$num\n";