( 13 , 496 .)