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