12345x3 ) ( 5955 .)