7043 . x 2 ) ( 6231 .)