7001X1 ) ( 5219 .)