import Control.Monad

main = do
    n <- readLn :: IO Integer
    m <- readLn :: IO Integer
    print $ n `quot` 1000 `quot` m * 1000