( 13 , 472 .)