( 3158 ) JARLERNBERG^