9 . ( 6422 .)