( 12 , 139 .)