"IC 5254"@cs .