( j , 15732)