hastc = ['AAA','ACB','ADC','AGC','ALT','ALV','AME','AMV','APG','API','APP','APS','ARM','AVS','B82','BBS','BCC','BDB','BED','BHC','BHT','BHV','BKC','BLF','BPC','BSC','BST','BTH','BTS','BVG','BVS','BXH','C92','CAN','CAP','CCM','CIC','CID','CJC','CKV','CMC','CMI','CMS','CPC','CSC','CT6','CTA','CTB','CTC','CTM','CTN','CTS','CTV','CVN','CVT','CX8','D11','DAC','DAD','DAE','DBC','DBT','DC2','DC4','DCS','DHI','DHT','DID','DIH','DL1','DLR','DNC','DNM','DNP','DNY','DPC','DST','DTC','DXP','DZM','EBS','ECI','EFI','EID','FDT','FLC','GBS','GFC','GGG','GLT','GMX','HAD','HAT','HBB','HBD','HBE','HBS','HCC','HCT','HDA','HDO','HEV','HGM','HHC','HHG','HHL','HJS','HLC','HLY','HMH','HNM','HOM','HPB','HPC','HPR','HPS','HST','HTB','HTC','HTP','HUT','HVT','ICG','IDJ','IDV','ILC','INC','INN','IVS','KBT','KHB','KKC','KLS','KMT','KSD','KST','KTS','KTT','L14','L18','L35','L43','L44','L61','L62','LBE','LCD','LCS','LDP','LHC','LIG','LM3','LM7','LO5','LTC','LUT','MAC','MAX','MCC','MCF','MCL','MCO','MDC','MEC','MHL','MIC','MIH','MIM','MKV','MMC','MNC','NAG','NBC','NBP','NDN','NET','NGC','NHA','NHC','NIS','NLC','NPS','NSN','NST','NTP','NVB','NVC','OCH','ONE','ORS','PCG','PCT','PDC','PFL','PGS','PGT','PHC','PHH','PHS','PIV','PJC','PLC','PMC','PMS','POT','PPE','PPG','PPP','PPS','PRC','PSC','PSG','PSI','PTI','PTM','PTS','PV2','PVA','PVC','PVE','PVG','PVI','PVL','PVR','PVS','PVV','PVX','PXA','QCC','QHD','QNC','QST','QTC','RCL','RHC','S12','S27','S55','S64','S74','S91','S96','S99','SAF','SAP','SCC','SCJ','SCL','SCR','SD1','SD2','SD3','SD4','SD5','SD6','SD7','SD8','SD9','SDA','SDB','SDC','SDD','SDE','SDG','SDH','SDJ','SDN','SDP','SDS','SDT','SDU','SDY','SEB','SED','SEL','SFN','SGC','SGD','SGH','SHB','SHC','SHN','SHS','SIC','SJ1','SJC','SJE','SJM','SKS','SME','SMT','SNG','SPP','SQC','SRA','SRB','SSG','SSM','SSS','STC','STL','STP','SVI','SVN','SVS','TAG','TAS','TBX','TC6','TCS','TCT','TDN','TET','TH1','THB','THT','THV','TIG','TJC','TKC','TKU','TLC','TLT','TMC','TMX','TNG','TPH','TPP','TSB','TSM','TST','TTC','TV2','TV3','TV4','TVD','TXM','UNI','V11','V12','V15','V21','VAT','VBC','VBH','VC1','VC2','VC3','VC5','VC6','VC7','VC9','VCC','VCG','VCH','VCM','VCR','VCS','VCV','VDL','VDS','VE1','VE2','VE3','VE9','VFR','VGP','VGS','VHH','VHL','VIE','VIG','VIT','VIX','VKC','VLA','VMC','VMG','VNC','VND','VNF','VNR','VNT','VSP','VTC','VTL','VTS','VTV','VXB','WCS','WSS','XMC','YBC'];
