"IC 857"@cs .