23134 x 2 ) ( 6523 .)