( 15 , 439 .)