( 9 , 413 .)