( 13 , 476 .)