1712X3 , ) _ ( 4087 .)