( 1 87 2)