( 1 5 31)