s ( 16712 .)