( 13 , 503 .)