"IC 5232"@cs .