"IC 4839"@cs .