13 , 935X1 .)