( 1232 ) Antil , Jacohsen,