module Main where

main = let a = [x | x <- [1..1000], x `mod` 3 == 0, x `mod` 5 == 0]
       in sum a
	do
	putStrLn b