7447 . x6 ) ( 6880 .)