13425 x 2 .)