( 12 , 611 .)