Also noticed that Lotus Pharmaceuticals is up about 30% since end of September. Anyone know if JGBO still owns these shares?