That ticker has been associated with STMC for the past year. I have asked. It is irrelevant. But hey. Find out for yourself if you must.