"IC 843"@cs .