13023 x 3 ) [ 5340 .)