( 3762 ) Wilhelm Koos.