( 3800 ) Stornoi '.