(: 10)
(: 0)
(: 8)
(: 2)