13431 x 2 .)