13693 x 2 .)