( 12 , 559 .)