( 1232 ) Antil , Jacobsen.