"IC 4257"@cs .