x ( 15947 .)