( 4026 ) atnfc : Hattsjöhult.