x 3 ) ( 6523 .)