13355 x 3 ) ( 6411 .)