found code to convert cik to ticker, which i will modify to be able to know which file to open from the RSS XML in ticker-10k.py