( 12254 ) Richard Boos.