"IC 4807"@cs .