( 5246 ) Doktor O. Guilletmot.