(: 12)
(: 6)
(: 6)
(: 0)