' ( 13 , 439 .)