X3 . ( 4 , 017 .)