x ( 20585 .)