main = print . sum . map read . tail . words =<< getContents