(: 10)
(: 3)
(: 7)
(: 0)