( 12 , 239 .)