12280x3 ) ( 7150 .)