( 4 7 31)