17138 x 3 .)