( 13 , 495 .)