12345 x 3 ) ( 5955 .)