( 12 , 130 .)