"IC 839"@cs .