12280x 3 ) ( 7150 .)