( 3962 ) Hoffmann k Halvorsen.