13 , 941X3 .)