I'm well aware or the otc short count. Those numbers do not, however, take into account naked shorts.