20 ; 12 8 .)