( 87 57 ).