22284 . ( 9 , 411 .)