Talk:9349 Lucas

Joke?
Since 9,349 is a Lucas number, could the asteroid's name be an inside joke? I'm not sure if there's sufficient evidence to put anything up on the main page, so I'm just making a comment here. -Anon —Preceding unsigned comment added by 65.102.160.227 (talk) 17:46, 5 December 2010 (UTC)