6689x1 ) ( 7676 .)