"(1613) Smiley"@cs . "Smiley"@cs .