( 3141 , 128)