"IC 5280"@cs .