( 4 , 141 .)