' ' ( 12 , 439 .)