( 1 3 88)