$F1hash{$ptfkey, $ptfpn} = $ptfpn;