import qualified Data.Vector as U
import Data.Int
main = print (U.length (U.replicate 1 (7 :: Int16)))