( 4095 ) Stjernsund.