( 12379 ) A .. Hajjelin.